@Nullable @Override protected OWLDatatype getTopEntity() { return df.getTopDatatype(); }
@Override protected OWLDataRange getDataLimit() { return getDataFactory().getTopDatatype(); } }
@Override void startElement(String name) { super.startElement(name); builder.withRange(df.getTopDatatype()); }
public Set<OWLDatatype> getBuiltinDatatypes(){ Set<OWLDatatype> datatypes = new HashSet<>(); final OWLDataFactory df = mngr.getOWLDataFactory(); datatypes.add(df.getTopDatatype()); for (OWL2Datatype dt : OWL2Datatype.values()) { datatypes.add(df.getOWLDatatype(dt.getIRI())); } return datatypes; }
public Set<OWLDatatype> getBuiltinDatatypes(){ Set<OWLDatatype> datatypes = new HashSet<OWLDatatype>(); final OWLDataFactory df = mngr.getOWLDataFactory(); datatypes.add(df.getTopDatatype()); for (OWL2Datatype dt : OWL2Datatype.values()) { datatypes.add(df.getOWLDatatype(dt.getIRI())); } return datatypes; }
public Set<OWLDatatype> getBuiltinDatatypes(){ Set<OWLDatatype> datatypes = new HashSet<OWLDatatype>(); final OWLDataFactory df = mngr.getOWLDataFactory(); datatypes.add(df.getTopDatatype()); for (OWL2Datatype dt : OWL2Datatype.values()) { datatypes.add(df.getOWLDatatype(dt.getIRI())); } return datatypes; }
public Set<OWLDatatype> getBuiltinDatatypes(){ Set<OWLDatatype> datatypes = new HashSet<>(); final OWLDataFactory df = mngr.getOWLDataFactory(); datatypes.add(df.getTopDatatype()); for (OWL2Datatype dt : OWL2Datatype.values()) { datatypes.add(df.getOWLDatatype(dt.getIRI())); } return datatypes; }
@Override public Boolean visit(OWLDataPropertyDomainAxiom axiom) { return Boolean.valueOf(reasoner.isSubClassOf(factory.getOWLDataSomeValuesFrom(axiom.getProperty(),factory.getTopDatatype()),axiom.getDomain())); } @Override
@Override public Collection<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) { return subClassOf(df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()), axiom.getDomain()); }
@Override public Collection<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) { return subClassOf(df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()), axiom.getDomain()); }
@Override public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression sub = factory .getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype()); return and(sub, not(axiom.getDomain())); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression sub = dataFactory .getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory .getTopDatatype()); OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }
public void visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression sub = dataFactory.getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory.getTopDatatype()); OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }
private void initializeDomainMap() { domainMap = new HashMap<OWLClass, Set<OWLEntity>>(); for (OWLObjectProperty p : ontology.getObjectPropertiesInSignature()) { OWLClassExpression mustHavePropertyValue = factory.getOWLObjectSomeValuesFrom(p, factory.getOWLThing()); addPropertyToDomainMap(p, mustHavePropertyValue); } for (OWLDataProperty p : ontology.getDataPropertiesInSignature()) { OWLClassExpression mustHavePropertyValue = factory.getOWLDataSomeValuesFrom(p, factory.getTopDatatype()); addPropertyToDomainMap(p, mustHavePropertyValue); } }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression sub = dataFactory .getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory .getTopDatatype()); OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }
@Override public OWLClassExpression visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression sub = factory .getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype()); return and(sub, not(axiom.getDomain())); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression sub = dataFactory .getOWLDataSomeValuesFrom(axiom.getProperty(), dataFactory .getTopDatatype()); OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }
@Override public OWLClassExpression visit(OWLDataPropertyDomainAxiom ax) { OWLClassExpression exists = df.getOWLDataSomeValuesFrom(ax.getProperty(), df.getTopDatatype()); return df.getOWLObjectIntersectionOf(exists, df.getOWLObjectComplementOf(ax.getDomain())); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }