Example 6 with OWLSubClassOfAxiomImpl
use of uk.ac.manchester.cs.owl.owlapi.OWLSubClassOfAxiomImpl in project graal by graphik-team.
the class OWLAxiomParser method visit.
@Override
public Iterable<? extends Object> visit(OWLObjectPropertyRangeAxiom arg) {
OWLClassExpression subClass = new OWLObjectSomeValuesFromImpl(arg.getProperty().getInverseProperty(), DF.getOWLThing());
OWLClassExpression superClass = arg.getRange();
return new OWLSubClassOfAxiomImpl(subClass, superClass, emptyAnno).accept(this);
}
Also used :
OWLSubClassOfAxiomImpl(uk.ac.manchester.cs.owl.owlapi.OWLSubClassOfAxiomImpl)
OWLObjectSomeValuesFromImpl(uk.ac.manchester.cs.owl.owlapi.OWLObjectSomeValuesFromImpl)
OWLClassExpression(org.semanticweb.owlapi.model.OWLClassExpression)
Example 7 with OWLSubClassOfAxiomImpl
use of uk.ac.manchester.cs.owl.owlapi.OWLSubClassOfAxiomImpl in project graal by graphik-team.
the class OWLAxiomParser method visit.
@Override
public Iterable<? extends Object> visit(OWLDataPropertyDomainAxiom arg) {
OWLClassExpression subClass = new OWLDataSomeValuesFromImpl(arg.getProperty(), DF.getTopDatatype());
OWLClassExpression superClass = arg.getDomain();
return new OWLSubClassOfAxiomImpl(subClass, superClass, emptyAnno).accept(this);
}
Also used :
OWLSubClassOfAxiomImpl(uk.ac.manchester.cs.owl.owlapi.OWLSubClassOfAxiomImpl)
OWLClassExpression(org.semanticweb.owlapi.model.OWLClassExpression)
OWLDataSomeValuesFromImpl(uk.ac.manchester.cs.owl.owlapi.OWLDataSomeValuesFromImpl)
Aggregations
OWLClassExpression (org.semanticweb.owlapi.model.OWLClassExpression)7
OWLSubClassOfAxiomImpl (uk.ac.manchester.cs.owl.owlapi.OWLSubClassOfAxiomImpl)7
LinkedList (java.util.LinkedList)3
OWLObjectSomeValuesFromImpl (uk.ac.manchester.cs.owl.owlapi.OWLObjectSomeValuesFromImpl)3
TreeSet (java.util.TreeSet)2
OWLDataSomeValuesFromImpl (uk.ac.manchester.cs.owl.owlapi.OWLDataSomeValuesFromImpl)2
OWLObjectIntersectionOfImpl (uk.ac.manchester.cs.owl.owlapi.OWLObjectIntersectionOfImpl)2
OWLDataExactCardinality (org.semanticweb.owlapi.model.OWLDataExactCardinality)1
OWLDataMaxCardinality (org.semanticweb.owlapi.model.OWLDataMaxCardinality)1
OWLDataMinCardinality (org.semanticweb.owlapi.model.OWLDataMinCardinality)1
OWLObjectAllValuesFrom (org.semanticweb.owlapi.model.OWLObjectAllValuesFrom)1
OWLObjectComplementOf (org.semanticweb.owlapi.model.OWLObjectComplementOf)1
OWLObjectExactCardinality (org.semanticweb.owlapi.model.OWLObjectExactCardinality)1
OWLObjectMaxCardinality (org.semanticweb.owlapi.model.OWLObjectMaxCardinality)1
OWLObjectMinCardinality (org.semanticweb.owlapi.model.OWLObjectMinCardinality)1
OWLObjectUnionOf (org.semanticweb.owlapi.model.OWLObjectUnionOf)1
OWLDataMaxCardinalityImpl (uk.ac.manchester.cs.owl.owlapi.OWLDataMaxCardinalityImpl)1
OWLDataMinCardinalityImpl (uk.ac.manchester.cs.owl.owlapi.OWLDataMinCardinalityImpl)1
OWLObjectMaxCardinalityImpl (uk.ac.manchester.cs.owl.owlapi.OWLObjectMaxCardinalityImpl)1
OWLObjectMinCardinalityImpl (uk.ac.manchester.cs.owl.owlapi.OWLObjectMinCardinalityImpl)1
