public class EntitySearcher extends Object
Constructor and Description |
---|
EntitySearcher() |
Modifier and Type | Method and Description |
---|---|
static boolean |
containsAxiom(OWLAxiom a,
Iterable<OWLOntology> ontologies,
boolean imports)
Checks if any of the ontologies contains axiom a, with or without imports closure.
|
static boolean |
containsAxiom(OWLAxiom a,
OWLOntology o,
boolean imports)
Checks if o contains axiom a, with or without imports closure.
|
static boolean |
containsAxiomIgnoreAnnotations(OWLAxiom a,
Iterable<OWLOntology> ontologies,
boolean imports)
Checks if any of the ontologies contains axiom a, with or without imports closure.
|
static boolean |
containsAxiomIgnoreAnnotations(OWLAxiom a,
OWLOntology o,
boolean imports)
Checks if o contains axiom a, with or without imports closure, ignoring annotations.
|
static Collection<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject e,
OWLOntology ontology) |
static Collection<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLEntity e,
OWLOntology ontology) |
static Collection<OWLAnnotation> |
getAnnotationObjects(OWLAnnotationSubject e,
Iterable<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property; this
is restricted to the object of annotation assertion axioms.
|
static Collection<OWLAnnotation> |
getAnnotationObjects(OWLAnnotationSubject e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property; this
is restricted to the object of annotation assertion axioms.
|
static Collection<OWLAnnotation> |
getAnnotationObjects(OWLEntity e,
Iterable<OWLOntology> ontologies)
Obtains the annotations on e; this is restricted to the object of annotation assertion
axioms.
|
static Collection<OWLAnnotation> |
getAnnotationObjects(OWLEntity e,
Iterable<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property; this
is restricted to the object of annotation assertion axioms.
|
static Collection<OWLAnnotation> |
getAnnotationObjects(OWLEntity e,
OWLOntology ontology)
Obtains the annotations on e; this is restricted to the object of annotation assertion
axioms.
|
static Collection<OWLAnnotation> |
getAnnotationObjects(OWLEntity e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property; this
is restricted to the object of annotation assertion axioms.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLAnnotationSubject e,
Iterable<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology)
Gets the annotations for e.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLEntity e,
Iterable<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLEntity e,
OWLOntology ontology)
Gets the annotations for e.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLEntity e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on e where the annotation has the specified annotation property.
|
static Collection<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology o,
boolean imports)
Get matching axioms for a, ignoring annotations.
|
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
getDataPropertyValues(OWLIndividual i,
Iterable<OWLOntology> ontologies) |
static Collection<OWLLiteral> |
getDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static Collection<OWLLiteral> |
getDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
getDataPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static Collection<OWLIndividual> |
getDifferentIndividuals(OWLIndividual e,
Iterable<OWLOntology> ontologies)
Gets the individuals asserted to be different to e in the specified ontologies.
|
static Collection<OWLIndividual> |
getDifferentIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the individuals asserted to be different to e in the specified ontology.
|
static Collection<OWLClassExpression> |
getDisjointClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with e by axioms in the specified
ontologies.
|
static Collection<OWLClassExpression> |
getDisjointClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with e by axioms in the specified
ontology.
|
static Collection<OWLDataPropertyExpression> |
getDisjointProperties(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the data properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static Collection<OWLDataPropertyExpression> |
getDisjointProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the data properties which have been asserted to be disjoint with e in the specified
ontology.
|
static Collection<OWLObjectPropertyExpression> |
getDisjointProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the object properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static Collection<OWLObjectPropertyExpression> |
getDisjointProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the object properties which have been asserted to be disjoint with e in the specified
ontology.
|
static <P extends OWLPropertyExpression> |
getDisjointProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which have been asserted to be disjoint with e in the specified
ontologies.
|
static <P extends OWLPropertyExpression> |
getDisjointProperties(P e,
OWLOntology ontology)
Gets the properties which have been asserted to be disjoint with e in the specified ontology.
|
static Collection<IRI> |
getDomains(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Collection<IRI> |
getDomains(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Collection<OWLClassExpression> |
getDomains(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Collection<OWLClassExpression> |
getDomains(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Collection<OWLClassExpression> |
getEquivalentClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be equivalent with e by axioms in the specified
ontologies.
|
static Collection<OWLClassExpression> |
getEquivalentClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be equivalent with e by axioms in the specified
ontology.
|
static Collection<OWLDataPropertyExpression> |
getEquivalentProperties(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the data properties which have been asserted to be equivalent with e by axioms in the
specified ontologies.
|
static Collection<OWLDataPropertyExpression> |
getEquivalentProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the data properties which have been asserted to be equivalent with e by axioms in the
specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getEquivalentProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies and returns the
class expressions corresponding to equivalent classes of e.
|
static Collection<OWLObjectPropertyExpression> |
getEquivalentProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology and returns the class
expressions corresponding to equivalent classes of e.
|
static <P extends OWLPropertyExpression> |
getEquivalentProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which have been asserted to be equivalent with e by axioms in the
specified ontologies.
|
static <P extends OWLPropertyExpression> |
getEquivalentProperties(P e,
OWLOntology ontology)
Gets the properties which have been asserted to be equivalent with e by axioms in the
specified ontology.
|
static Collection<OWLIndividual> |
getIndividuals(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of e by axioms in the
specified ontologies.
|
static Collection<OWLIndividual> |
getIndividuals(OWLClass e,
OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of e by axioms in the
specified ontology.
|
static Collection<OWLIndividual> |
getInstances(OWLClassExpression e,
Iterable<OWLOntology> ontologies) |
static Collection<OWLIndividual> |
getInstances(OWLClassExpression e,
OWLOntology ontology) |
static Collection<OWLObjectPropertyExpression> |
getInverses(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
static Collection<OWLObjectPropertyExpression> |
getInverses(OWLObjectPropertyExpression e,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
getNegativeDataPropertyValues(OWLIndividual i,
Iterable<OWLOntology> ontologies) |
static Collection<OWLLiteral> |
getNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static Collection<OWLLiteral> |
getNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
getNegativeDataPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
getNegativeObjectPropertyValues(OWLIndividual i,
Iterable<OWLOntology> ontologies) |
static Collection<OWLIndividual> |
getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static Collection<OWLIndividual> |
getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
getNegativeObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
getObjectPropertyValues(OWLIndividual i,
Iterable<OWLOntology> ontologies) |
static Collection<OWLIndividual> |
getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static Collection<OWLIndividual> |
getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
getObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static Collection<IRI> |
getRanges(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Collection<IRI> |
getRanges(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Collection<OWLDataRange> |
getRanges(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Collection<OWLDataRange> |
getRanges(OWLDataProperty e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Collection<OWLClassExpression> |
getRanges(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
getRanges(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Collection<OWLAxiom> |
getReferencingAxioms(OWLEntity e,
OWLOntology ontology)
Gets the axioms in the specified ontology that contain e in their signature.
|
static Collection<OWLAxiom> |
getReferencingAxioms(OWLEntity e,
OWLOntology ontology,
boolean includeImports)
Gets the axioms in the specified ontology and possibly its imports closure that contain e in
their signature.
|
static Collection<OWLIndividual> |
getSameIndividuals(OWLIndividual e,
Iterable<OWLOntology> ontologies)
Gets the individuals asserted to be same as e in the specified ontologies.
|
static Collection<OWLIndividual> |
getSameIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the individuals asserted to be same as e in the specified ontology.
|
static Collection<OWLClassExpression> |
getSubClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of e in the specified
ontologies.
|
static Collection<OWLClassExpression> |
getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of e in the specified
ontology.
|
static Collection<OWLAnnotationProperty> |
getSubProperties(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLAnnotationProperty> |
getSubProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLAnnotationProperty> |
getSubProperties(OWLAnnotationProperty e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getSubProperties(OWLDataPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getSubProperties(OWLDataPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getSubProperties(OWLDataPropertyExpression e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSubProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSubProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSubProperties(OWLObjectPropertyExpression e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
getSubProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
getSubProperties(P e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
getSubProperties(P e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLClassExpression> |
getSuperClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be superclasses of e in the specified
ontologies.
|
static Collection<OWLClassExpression> |
getSuperClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be superclasses of e in the specified
ontology.
|
static Collection<OWLAnnotationProperty> |
getSuperProperties(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static Collection<OWLAnnotationProperty> |
getSuperProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the annotation properties which are asserted to be super-properties of e in the
specified ontology.
|
static Collection<OWLAnnotationProperty> |
getSuperProperties(OWLAnnotationProperty e,
OWLOntology ontology,
boolean imports)
Gets the annotation properties which are asserted to be super-properties of e in the
specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getSuperProperties(OWLDataPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getSuperProperties(OWLDataPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getSuperProperties(OWLDataPropertyExpression e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSuperProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
getSuperProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be super-properties of e in the specified
ontologies.
|
static <P extends OWLPropertyExpression> |
getSuperProperties(P e,
OWLOntology ontology)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static <P extends OWLPropertyExpression> |
getSuperProperties(P e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be super-properties of e in the specified ontology.
|
static Collection<OWLClassExpression> |
getTypes(OWLIndividual e,
Iterable<OWLOntology> ontologies) |
static Collection<OWLClassExpression> |
getTypes(OWLIndividual e,
OWLOntology ontology) |
static boolean |
hasDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
Iterable<OWLOntology> ontologies) |
static boolean |
hasDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
OWLOntology ontology) |
static boolean |
hasDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static boolean |
hasDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static boolean |
hasNegativeDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
Iterable<OWLOntology> ontologies) |
static boolean |
hasNegativeDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
OWLOntology ontology) |
static boolean |
hasNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static boolean |
hasNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static boolean |
hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
Iterable<OWLOntology> ontologies) |
static boolean |
hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
OWLOntology ontology) |
static boolean |
hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static boolean |
hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static boolean |
hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
Iterable<OWLOntology> ontologies) |
static boolean |
hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
OWLOntology ontology) |
static boolean |
hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
static boolean |
hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static boolean |
isAsymmetric(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared asymmetric in a collection of ontologies.
|
static boolean |
isAsymmetric(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared asymmetric in o.
|
static boolean |
isDefined(OWLClass c,
Iterable<OWLOntology> ontologies)
Checks if c is defined (is included in equivalent axioms) in a collection of ontologies.
|
static boolean |
isDefined(OWLClass c,
OWLOntology o)
Checks if c is defined (is included in equivalent axioms) in o.
|
static boolean |
isFunctional(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Checks if e is declared functional in a collection of ontologies.
|
static boolean |
isFunctional(OWLDataProperty e,
OWLOntology o)
Checks if e is declared functional in o.
|
static boolean |
isFunctional(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared functional in a collection of ontologies.
|
static boolean |
isFunctional(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared functional in o.
|
static boolean |
isInverseFunctional(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared inverse functional in a collection of ontologies.
|
static boolean |
isInverseFunctional(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared inverse functional in o.
|
static boolean |
isIrreflexive(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared irreflexive in a collection of ontologies.
|
static boolean |
isIrreflexive(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared irreflexive in o.
|
static boolean |
isReflexive(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared reflexive in a collection of ontologies.
|
static boolean |
isReflexive(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared reflexive in o.
|
static boolean |
isSymmetric(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared symmetric in a collection of ontologies.
|
static boolean |
isSymmetric(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared symmetric in o.
|
static boolean |
isTransitive(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Checks if e is declared transitive in a collection of ontologies.
|
static boolean |
isTransitive(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared transitive in o.
|
@Nonnull public static Collection<OWLAnnotation> getAnnotations(@Nonnull OWLEntity e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for annotation assertion axioms@Nonnull public static Collection<OWLAnnotation> getAnnotations(@Nonnull OWLAnnotationSubject e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for annotation assertion axioms@Nonnull public static Collection<OWLAnnotation> getAnnotations(@Nonnull OWLEntity e, @Nonnull OWLOntology ontology, @Nonnull OWLAnnotationProperty annotationProperty)
e
- entityontology
- The ontology to examine for annotation axiomsannotationProperty
- The annotation propertyOWLAnnotation
objects that have the specified URI.@Nonnull public static Collection<OWLAnnotation> getAnnotations(@Nonnull OWLAnnotationSubject e, @Nonnull OWLOntology ontology, @Nonnull OWLAnnotationProperty annotationProperty)
e
- entityontology
- The ontology to examine for annotation axiomsannotationProperty
- The annotation propertyOWLAnnotation
objects that have the specified URI.@Nonnull public static Collection<OWLAnnotation> getAnnotations(@Nonnull OWLAnnotationSubject e, @Nonnull Iterable<OWLOntology> ontologies, @Nonnull OWLAnnotationProperty annotationProperty)
e
- entityontologies
- The ontologies to examine for annotation axiomsannotationProperty
- The annotation propertyOWLAnnotation
objects that have the specified URI.@Nonnull public static Collection<OWLAnnotation> getAnnotations(@Nonnull OWLEntity e, @Nonnull Iterable<OWLOntology> ontologies, @Nonnull OWLAnnotationProperty annotationProperty)
e
- entityontologies
- The ontologies to examine for annotation axiomsannotationProperty
- The annotation propertyOWLAnnotation
objects that have the specified URI.@Nonnull public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull OWLEntity e, @Nonnull OWLOntology ontology, @Nullable OWLAnnotationProperty annotationProperty)
e
- entityontology
- The ontology to examine for annotation axiomsannotationProperty
- The annotation propertyOWLAnnotation
objects that have the specified URI.@Nonnull public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull OWLEntity e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to examine for annotation axiomsOWLAnnotation
objects that have the specified URI.@Nonnull public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull OWLEntity e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to examine for annotation axiomsOWLAnnotation
objects that have the specified URI.@Nonnull public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull OWLAnnotationSubject e, @Nonnull OWLOntology ontology, @Nullable OWLAnnotationProperty annotationProperty)
e
- entityontology
- The ontology to examine for annotation axiomsannotationProperty
- The annotation property. If null, any annotation property will
match.OWLAnnotation
objects that have the specified URI.@Nonnull public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull OWLAnnotationSubject e, @Nonnull Iterable<OWLOntology> ontologies, @Nullable OWLAnnotationProperty annotationProperty)
e
- entityontologies
- The ontologies to examine for annotation axiomsannotationProperty
- The annotation property. If null, any annotation property will
match.OWLAnnotation
objects that have the specified URI.@Nonnull public static Collection<OWLAnnotation> getAnnotationObjects(@Nonnull OWLEntity e, @Nonnull Iterable<OWLOntology> ontologies, @Nonnull OWLAnnotationProperty annotationProperty)
e
- entityontologies
- The ontologies to examine for annotation axiomsannotationProperty
- The annotation propertyOWLAnnotation
objects that have the specified URI.@Nonnull public static Collection<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(@Nonnull OWLEntity e, @Nonnull OWLOntology ontology)
e
- entityontology
- the ontology to use@Nonnull public static Collection<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(@Nonnull OWLAnnotationSubject e, @Nonnull OWLOntology ontology)
e
- entityontology
- the ontology to use@Nonnull public static Collection<OWLAnnotationProperty> getSubProperties(@Nonnull OWLAnnotationProperty e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for SubAnnotationPropertyOf
axioms.p
the ontology
contains an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLAnnotationProperty> getSubProperties(@Nonnull OWLAnnotationProperty e, @Nonnull OWLOntology ontology, boolean imports)
e
- entityontology
- The ontology to be examined for SubAnnotationPropertyOf
axioms.imports
- if true include imports closurep
one of the ontologies in
ontologies
contains an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLAnnotationProperty> getSubProperties(@Nonnull OWLAnnotationProperty e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for SubAnnotationPropertyOf
axioms.p
one of the ontologies in
ontologies
contains an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLAnnotationProperty> getSuperProperties(@Nonnull OWLAnnotationProperty e, @Nonnull OWLOntology ontology)
e
- annotation propertyontology
- The ontology to be examined for SubProperty axioms.p
ontology
contains
an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLAnnotationProperty> getSuperProperties(@Nonnull OWLAnnotationProperty e, @Nonnull OWLOntology ontology, boolean imports)
e
- annotation propertyontology
- The ontology to be examined for SubAnnotationPropertyOf
axioms.imports
- if true include imports closurep
ontology
or its
imports closure contains an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLAnnotationProperty> getSuperProperties(@Nonnull OWLAnnotationProperty e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for SubAnnotationPropertyOf
axioms.p
one of the ontologies in
ontologies
contains an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLObjectPropertyExpression> getSubProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for SubProperty axioms.p
the ontology
contains an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLObjectPropertyExpression> getSubProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology, boolean imports)
e
- entityimports
- if true include imports closureontology
- The ontology to be examined for SubProperty axioms.p
one of the ontologies in
ontology
imports closure contains an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLObjectPropertyExpression> getSubProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for SubProperty axioms.p
one of the ontologies in
ontologies
contains an SubPropertyOf(p, e)
axiom.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getSubProperties(@Nonnull P e, @Nonnull OWLOntology ontology)
P
- type of propertye
- entityontology
- The ontology to be examined for SubPropertyOf
axioms.p
the ontology
contains an SubPropertyOf(p, e)
axiom.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getSubProperties(@Nonnull P e, @Nonnull OWLOntology ontology, boolean imports)
P
- type of propertye
- entityontology
- The ontology to be examined for SubPropertyOf
axioms.imports
- if true include imports closurep
one of the ontologies in
the ontology
imports closure contains an SubPropertyOf(p, e)
axiom.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getSubProperties(@Nonnull P e, @Nonnull Iterable<OWLOntology> ontologies)
P
- type of propertye
- entityontologies
- The ontologies to be examined for SubPropertyOf
axioms.p
in the set, it is the case
that ontology
contains an SubPropertyOf(p, e)
axiom where e
refers to e.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getSuperProperties(@Nonnull P e, @Nonnull OWLOntology ontology)
P
- type of propertye
- propertyontology
- The ontology to be examined for SubPropertyOf
axioms.p
ontology
contains
an SubPropertyOf(p, e)
axiom.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getSuperProperties(@Nonnull P e, @Nonnull OWLOntology ontology, boolean imports)
P
- type of propertye
- propertyontology
- The ontology to be examined for SubPropertyOf
axioms.imports
- if true include imports closurep
one of the ontologies in
ontology
imports closure contains an SubPropertyOf(p, e)
axiom.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getSuperProperties(@Nonnull P e, @Nonnull Iterable<OWLOntology> ontologies)
P
- type of propertye
- propertyontologies
- The ontologies to be examined for SubPropertyOf
axioms.p
one of ontologies
contains an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLObjectPropertyExpression> getSuperProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for SubPropertyOf
axioms.p
ontology
contains
an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLObjectPropertyExpression> getSuperProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology, boolean imports)
e
- entityontology
- The ontology to be examined for SubPropertyOf
axioms.imports
- if true include imports closurep
one of the ontologies in
ontology
imports closure contains an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLObjectPropertyExpression> getSuperProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for SubPropertyOf
axioms.p
one of the ontologies in
ontologies
contains an SubPropertyOf(p, e)
axiom.@Nonnull public static Collection<OWLDataPropertyExpression> getSubProperties(@Nonnull OWLDataPropertyExpression e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for SubAnnotationPropertyOf
axioms.p
in the set, it is the case
that ontology
contains an SubPropertyOf(p, e)
axiom where e
refers to e.@Nonnull public static Collection<OWLDataPropertyExpression> getSubProperties(@Nonnull OWLDataPropertyExpression e, @Nonnull OWLOntology ontology, boolean imports)
e
- entityontology
- The ontology to be examined for SubAnnotationPropertyOf
axioms.imports
- if true include imports closurep
in the set, it is the case
that ontology
contains an SubPropertyOf(p, e)
axiom where e
refers to e.@Nonnull public static Collection<OWLDataPropertyExpression> getSubProperties(@Nonnull OWLDataPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for SubAnnotationPropertyOf
axioms.p
in the set, it is the case
that ontology
contains an SubPropertyOf(p, e)
axiom where e
refers to e.@Nonnull public static Collection<OWLDataPropertyExpression> getSuperProperties(@Nonnull OWLDataPropertyExpression e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for SubAnnotationPropertyOf
axioms.p
in the set, it is the case
that ontology
contains an SubPropertyOf(p, e)
axiom where e
refers to e.@Nonnull public static Collection<OWLDataPropertyExpression> getSuperProperties(@Nonnull OWLDataPropertyExpression e, @Nonnull OWLOntology ontology, boolean imports)
e
- entityontology
- The ontology to be examined for SubAnnotationPropertyOf
axioms.imports
- if true include imports closurep
in the set, it is the case
that ontology
contains an SubPropertyOf(p, e)
axiom where e
refers to e.@Nonnull public static Collection<OWLDataPropertyExpression> getSuperProperties(@Nonnull OWLDataPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for SubAnnotationPropertyOf
axioms.p
in the set, it is the case
that ontology
contains an SubPropertyOf(p, e)
axiom where e
refers to e.@Nonnull public static Collection<OWLClassExpression> getSuperClasses(@Nonnull OWLClass e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examinedSet
of OWLClassExpression
s that represent the superclasses of e,
which have been asserted in the specified ontology.@Nonnull public static Collection<OWLClassExpression> getSuperClasses(@Nonnull OWLClass e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined.OWLClassExpressions
s that represent the super classes of e@Nonnull public static Collection<OWLClassExpression> getSubClasses(@Nonnull OWLClass e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology which should be examined for subclass axioms.Set
of OWLClassExpression
s that represent the asserted subclasses
of e.@Nonnull public static Collection<OWLClassExpression> getSubClasses(@Nonnull OWLClass e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies which should be examined for subclass axioms.Set
of OWLClassExpression
s that represent the asserted subclasses
of e.@Nonnull public static Collection<OWLClassExpression> getEquivalentClasses(@Nonnull OWLClass e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for axiomsSet
of OWLClassExpression
s that represent the equivalent classes of
e, that have been asserted in the specified ontology.@Nonnull public static Collection<OWLClassExpression> getEquivalentClasses(@Nonnull OWLClass e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for axiomsSet
of OWLClassExpression
s that represent the equivalent classes of
e, that have been asserted in the specified ontologies.@Nonnull public static Collection<OWLClassExpression> getDisjointClasses(@Nonnull OWLClass e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to search for disjoint class axiomsSet
of OWLClassExpression
s that represent the disjoint classes of
e.@Nonnull public static Collection<OWLClassExpression> getDisjointClasses(@Nonnull OWLClass e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to search for disjoint class axiomsSet
of OWLClassExpression
s that represent the disjoint classes of
e.@Nonnull public static Collection<OWLIndividual> getDifferentIndividuals(@Nonnull OWLIndividual e, @Nonnull OWLOntology ontology)
e
- individualontology
- The ontology to search for different individualsSet
of different OWLIndividual
s.@Nonnull public static Collection<OWLIndividual> getDifferentIndividuals(@Nonnull OWLIndividual e, @Nonnull Iterable<OWLOntology> ontologies)
e
- individualontologies
- The ontologies to search for different individualsSet
of different OWLIndividual
s.@Nonnull public static Collection<OWLIndividual> getSameIndividuals(@Nonnull OWLIndividual e, @Nonnull OWLOntology ontology)
e
- individualontology
- The ontology to search for same individualsSet
of same OWLIndividual
s.@Nonnull public static Collection<OWLIndividual> getSameIndividuals(@Nonnull OWLIndividual e, @Nonnull Iterable<OWLOntology> ontologies)
e
- individualontologies
- The ontologies to search for same individualsSet
of same OWLIndividual
s.@Nonnull public static Collection<OWLDataPropertyExpression> getEquivalentProperties(@Nonnull OWLDataProperty e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for axiomsSet
of OWLDataPropertyExpression
s that represent the data
properties equivalent to e, that have been asserted in the specified ontology.@Nonnull public static Collection<OWLDataPropertyExpression> getEquivalentProperties(@Nonnull OWLDataProperty e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for axiomsOWLDataPropertyExpression
s that represent the data properties
equivalent to e, that have been asserted in the specified ontologies.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getEquivalentProperties(@Nonnull P e, @Nonnull OWLOntology ontology)
P
- type of propertye
- entityontology
- The ontology to be examined for axiomsSet
of OWLPropertyExpression
s that represent the properties
equivalent to e, that have been asserted in the specified ontology.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getEquivalentProperties(@Nonnull P e, @Nonnull Iterable<OWLOntology> ontologies)
P
- type of propertye
- entityontologies
- The ontologies to be examined for axiomsSet
of OWLPropertyExpression
s that represent the properties
equivalent to e, that have been asserted in the specified ontologies.@Nonnull public static Collection<OWLDataPropertyExpression> getDisjointProperties(@Nonnull OWLDataProperty e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to search for disjoint data properties axiomsSet
of OWLDataPropertyExpression
s that represent the data
properties disjoint with e.@Nonnull public static Collection<OWLDataPropertyExpression> getDisjointProperties(@Nonnull OWLDataProperty e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to search for disjoint axiomsSet
of OWLDataPropertyExpression
s that represent the data
properties disjoint with e.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getDisjointProperties(@Nonnull P e, @Nonnull OWLOntology ontology)
P
- type of propertye
- entityontology
- The ontology to search for disjoint property axiomsSet
of OWLPropertyExpression
s that represent the properties
disjoint with e.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getDisjointProperties(@Nonnull P e, @Nonnull Iterable<OWLOntology> ontologies)
P
- type of propertye
- entityontologies
- The ontologies to search for disjoint property axiomsSet
of OWLPropertyExpression
s that represent the properties
disjoint with e.@Nonnull public static Collection<OWLObjectPropertyExpression> getEquivalentProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for axiomsSet
of OWLClassExpression
s that represent the equivalent classes of
e, that have been asserted in the specified ontology.@Nonnull public static Collection<OWLObjectPropertyExpression> getEquivalentProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for axiomsSet
of OWLClassExpression
s that represent the equivalent classes of
e, that have been asserted in the specified ontologies.@Nonnull public static Collection<OWLObjectPropertyExpression> getDisjointProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to search for disjoint axiomsSet
of OWLObjectPropertyExpression
s that represent the object
properties disjoint with e.@Nonnull public static Collection<OWLObjectPropertyExpression> getDisjointProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to search for disjoint axiomsSet
of OWLObjectPropertyExpression
s that represent the object
properties disjoint with e.@Nonnull public static Collection<OWLIndividual> getIndividuals(@Nonnull OWLClass e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be examined for class assertion axioms that assert an
individual to be an instance of e.Set
of OWLIndividual
s that represent the individual that have been
asserted to be an instance of e.@Nonnull public static Collection<OWLIndividual> getIndividuals(@Nonnull OWLClass e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for class assertion axioms that assert an
individual to be an instance of e.Set
of OWLIndividual
s that represent the individual that have been
asserted to be an instance of e.@Nonnull public static Collection<OWLAxiom> getReferencingAxioms(@Nonnull OWLEntity e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology that will be searched for axioms@Nonnull public static Collection<OWLAxiom> getReferencingAxioms(@Nonnull OWLEntity e, @Nonnull OWLOntology ontology, boolean includeImports)
e
- entityontology
- The ontology that will be searched for axiomsincludeImports
- If true
then axioms in the imports closure will also be
returned, if false
then only the axioms in the specified ontology will be
returned.@Nonnull public static Collection<OWLClassExpression> getDomains(@Nonnull OWLDataProperty e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology that should be examined for axioms which assert a domain of eOWLClassExpression
s corresponding to the domains of e (the domain of
e is essentially the intersection of these class expressions).@Nonnull public static Collection<OWLClassExpression> getDomains(@Nonnull OWLDataProperty e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined.OWLClassExpression
s that represent the asserted domains of e.@Nonnull public static Collection<OWLClassExpression> getDomains(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology that should be examined for axioms which assert a domain of eOWLClassExpression
s corresponding to the domains of e (the domain of
e is essentially the intersection of these class expressions).@Nonnull public static Collection<OWLDataRange> getRanges(@Nonnull OWLDataProperty e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be searched for axioms which assert a range for e.@Nonnull public static Collection<OWLDataRange> getRanges(@Nonnull OWLDataProperty e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for range axioms.@Nonnull public static Collection<OWLClassExpression> getDomains(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined.OWLClassExpression
s that represent the asserted domains of e.@Nonnull public static Collection<OWLClassExpression> getRanges(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be searched for axioms which assert a range for e.@Nonnull public static Collection<OWLClassExpression> getRanges(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for range axioms.@Nonnull public static Collection<IRI> getDomains(@Nonnull OWLAnnotationProperty e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology that should be examined for axioms which assert a domain of eIRI
s corresponding to the domains of e (the domain of e is
essentially the intersection of these IRIs).@Nonnull public static Collection<IRI> getDomains(@Nonnull OWLAnnotationProperty e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined.IRI
s that represent the asserted domains of e.@Nonnull public static Collection<IRI> getRanges(@Nonnull OWLAnnotationProperty e, @Nonnull OWLOntology ontology)
e
- entityontology
- The ontology to be searched for axioms which assert a range for e.@Nonnull public static Collection<IRI> getRanges(@Nonnull OWLAnnotationProperty e, @Nonnull Iterable<OWLOntology> ontologies)
e
- entityontologies
- The ontologies to be examined for range axioms.public static boolean isTransitive(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology o)
o
- ontologye
- propertypublic static boolean isTransitive(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
ontologies
- ontologiese
- propertypublic static boolean isSymmetric(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology o)
o
- ontologye
- propertypublic static boolean isSymmetric(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
ontologies
- ontologiese
- propertypublic static boolean isAsymmetric(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology o)
o
- ontologye
- propertypublic static boolean isAsymmetric(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
ontologies
- ontologiese
- propertypublic static boolean isReflexive(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology o)
o
- ontologye
- propertypublic static boolean isReflexive(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
ontologies
- ontologiese
- propertypublic static boolean isIrreflexive(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology o)
o
- ontologye
- propertypublic static boolean isIrreflexive(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
ontologies
- ontologiese
- propertypublic static boolean isInverseFunctional(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology o)
o
- ontologye
- propertypublic static boolean isInverseFunctional(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
ontologies
- ontologiese
- propertypublic static boolean isFunctional(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology o)
o
- ontologye
- propertypublic static boolean isFunctional(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
ontologies
- ontologiese
- propertypublic static boolean isFunctional(@Nonnull OWLDataProperty e, @Nonnull OWLOntology o)
o
- ontologye
- propertypublic static boolean isFunctional(@Nonnull OWLDataProperty e, @Nonnull Iterable<OWLOntology> ontologies)
ontologies
- ontologiese
- propertypublic static boolean isDefined(@Nonnull OWLClass c, @Nonnull OWLOntology o)
o
- ontologyc
- classpublic static boolean isDefined(@Nonnull OWLClass c, @Nonnull Iterable<OWLOntology> ontologies)
ontologies
- ontologiesc
- classpublic static boolean containsAxiom(@Nonnull OWLAxiom a, @Nonnull OWLOntology o, boolean imports)
o
- ontologya
- axiomimports
- true if imports closure is includedpublic static boolean containsAxiom(@Nonnull OWLAxiom a, @Nonnull Iterable<OWLOntology> ontologies, boolean imports)
ontologies
- ontologiesa
- axiomimports
- true if imports closure is includedpublic static boolean containsAxiomIgnoreAnnotations(@Nonnull OWLAxiom a, @Nonnull OWLOntology o, boolean imports)
o
- ontologya
- axiomimports
- true if imports closure is includedpublic static boolean containsAxiomIgnoreAnnotations(@Nonnull OWLAxiom a, @Nonnull Iterable<OWLOntology> ontologies, boolean imports)
ontologies
- ontologiesa
- axiomimports
- true if imports closure is includedpublic static Collection<OWLAxiom> getAxiomsIgnoreAnnotations(@Nonnull OWLAxiom a, @Nonnull OWLOntology o, boolean imports)
o
- ontologya
- axiomimports
- true if imports closure is included@Nonnull public static Collection<OWLLiteral> getDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchontology
- ontology to search@Nonnull public static Collection<OWLLiteral> getDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchontologies
- ontologies to search@Nonnull public static Collection<OWLIndividual> getObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchontology
- ontology to search@Nonnull public static Collection<OWLIndividual> getObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchontologies
- ontologies to search@Nonnull public static Collection<OWLLiteral> getNegativeDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchontology
- ontology to search@Nonnull public static Collection<OWLLiteral> getNegativeDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchontologies
- ontologies to search@Nonnull public static Collection<OWLIndividual> getNegativeObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchontology
- ontology to search@Nonnull public static Collection<OWLIndividual> getNegativeObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchontologies
- ontologies to searchpublic static boolean hasDataPropertyValues(@Nonnull OWLIndividual i, OWLDataPropertyExpression p, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchontology
- ontology to searchpublic static boolean hasDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchontologies
- ontologies to searchpublic static boolean hasObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchontology
- ontology to searchpublic static boolean hasObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchontologies
- ontologies to searchpublic static boolean hasNegativeDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchontology
- ontology to searchpublic static boolean hasNegativeDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchontologies
- ontologies to searchpublic static boolean hasNegativeObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchontology
- ontology to searchpublic static boolean hasNegativeObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchontologies
- ontologies to searchpublic static boolean hasDataPropertyValue(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull OWLLiteral lit, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchlit
- literal to searchontology
- ontology to searchpublic static boolean hasDataPropertyValue(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull OWLLiteral lit, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchlit
- literal to searchontologies
- ontologies to searchpublic static boolean hasObjectPropertyValue(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull OWLIndividual j, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchj
- individual to searchontology
- ontology to searchpublic static boolean hasObjectPropertyValue(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull OWLIndividual j, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchj
- individual to searchontologies
- ontologies to searchpublic static boolean hasNegativeDataPropertyValue(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull OWLLiteral lit, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchlit
- literal to searchontology
- ontology to searchpublic static boolean hasNegativeDataPropertyValue(@Nonnull OWLIndividual i, @Nonnull OWLDataPropertyExpression p, @Nonnull OWLLiteral lit, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchlit
- literal to searchontologies
- ontologies to searchpublic static boolean hasNegativeObjectPropertyValue(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull OWLIndividual j, @Nonnull OWLOntology ontology)
i
- individualp
- property to searchj
- individual to searchontology
- ontology to searchpublic static boolean hasNegativeObjectPropertyValue(@Nonnull OWLIndividual i, @Nonnull OWLObjectPropertyExpression p, @Nonnull OWLIndividual j, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualp
- property to searchj
- individual to searchontologies
- ontologies to search@Nonnull public static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLOntology ontology)
i
- individualontology
- ontology to search@Nonnull public static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualontologies
- ontologies to search@Nonnull public static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLOntology ontology)
i
- individualontology
- ontology to search@Nonnull public static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualontologies
- ontologies to search@Nonnull public static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getNegativeObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLOntology ontology)
i
- individualontology
- ontology to search@Nonnull public static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getNegativeDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull OWLOntology ontology)
i
- individualontology
- ontology to search@Nonnull public static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getNegativeObjectPropertyValues(@Nonnull OWLIndividual i, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualontologies
- ontologies to search@Nonnull public static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getNegativeDataPropertyValues(@Nonnull OWLIndividual i, @Nonnull Iterable<OWLOntology> ontologies)
i
- individualontologies
- ontologies to search@Nonnull public static Collection<OWLObjectPropertyExpression> getInverses(@Nonnull OWLObjectPropertyExpression e, @Nonnull OWLOntology ontology)
e
- object propertyontology
- ontology to search@Nonnull public static Collection<OWLObjectPropertyExpression> getInverses(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e
- object propertyontologies
- ontologies to search@Nonnull public static Collection<OWLIndividual> getInstances(@Nonnull OWLClassExpression e, @Nonnull OWLOntology ontology)
e
- classontology
- ontology to search@Nonnull public static Collection<OWLIndividual> getInstances(@Nonnull OWLClassExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e
- classontologies
- ontologies to search@Nonnull public static Collection<OWLClassExpression> getTypes(@Nonnull OWLIndividual e, @Nonnull OWLOntology ontology)
e
- individualontology
- ontology to search@Nonnull public static Collection<OWLClassExpression> getTypes(@Nonnull OWLIndividual e, @Nonnull Iterable<OWLOntology> ontologies)
e
- individualontologies
- ontologies to searchCopyright © 2020 The University of Manchester. All rights reserved.