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 OWLClassExpressions 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.OWLClassExpressionss 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 OWLClassExpressions 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 OWLClassExpressions 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 OWLClassExpressions 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 OWLClassExpressions 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 OWLClassExpressions 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 OWLClassExpressions 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 OWLIndividuals.@Nonnull public static Collection<OWLIndividual> getDifferentIndividuals(@Nonnull OWLIndividual e, @Nonnull Iterable<OWLOntology> ontologies)
e - individualontologies - The ontologies to search for different individualsSet of different OWLIndividuals.@Nonnull public static Collection<OWLIndividual> getSameIndividuals(@Nonnull OWLIndividual e, @Nonnull OWLOntology ontology)
e - individualontology - The ontology to search for same individualsSet of same OWLIndividuals.@Nonnull public static Collection<OWLIndividual> getSameIndividuals(@Nonnull OWLIndividual e, @Nonnull Iterable<OWLOntology> ontologies)
e - individualontologies - The ontologies to search for same individualsSet of same OWLIndividuals.@Nonnull public static Collection<OWLDataPropertyExpression> getEquivalentProperties(@Nonnull OWLDataProperty e, @Nonnull OWLOntology ontology)
e - entityontology - The ontology to be examined for axiomsSet of OWLDataPropertyExpressions 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 axiomsOWLDataPropertyExpressions 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 OWLPropertyExpressions 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 OWLPropertyExpressions 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 OWLDataPropertyExpressions 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 OWLDataPropertyExpressions 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 OWLPropertyExpressions 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 OWLPropertyExpressions 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 OWLClassExpressions 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 OWLClassExpressions 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 OWLObjectPropertyExpressions 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 OWLObjectPropertyExpressions 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 OWLIndividuals 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 OWLIndividuals 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 eOWLClassExpressions 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.OWLClassExpressions 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 eOWLClassExpressions 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.OWLClassExpressions 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 eIRIs 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.IRIs 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 © 2021 The University of Manchester. All rights reserved.