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 this entity 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 this entity 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 this entity; 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 this entity 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 this entity; this is restricted to the object
of annotation assertion axioms.
|
static Collection<OWLAnnotation> |
getAnnotationObjects(OWLEntity e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity 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 this entity where the annotation has the
specified annotation property.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology)
Gets the annotations for this entity.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity where the annotation has the
specified annotation property.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLEntity e,
Iterable<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity where the annotation has the
specified annotation property.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLEntity e,
OWLOntology ontology)
Gets the annotations for this entity.
|
static Collection<OWLAnnotation> |
getAnnotations(OWLEntity e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity 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 different individuals in the specified ontologies.
|
static Collection<OWLIndividual> |
getDifferentIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the different individuals in the specified ontology.
|
static Collection<OWLClassExpression> |
getDisjointClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
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 this class
by axioms in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getDisjointProperties(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
static Collection<OWLDataPropertyExpression> |
getDisjointProperties(OWLDataProperty e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getDisjointProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
static Collection<OWLObjectPropertyExpression> |
getDisjointProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
static <P extends OWLPropertyExpression> |
getDisjointProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
static <P extends OWLPropertyExpression> |
getDisjointProperties(P e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
static Collection<IRI> |
getDomains(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static Collection<IRI> |
getDomains(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static Collection<OWLClassExpression> |
getDomains(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLClassExpression> |
getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static Collection<OWLClassExpression> |
getDomains(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLClassExpression> |
getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static Collection<OWLClassExpression> |
getEquivalentClasses(OWLClass 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
this class.
|
static Collection<OWLClassExpression> |
getEquivalentClasses(OWLClass e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
static Collection<OWLDataPropertyExpression> |
getEquivalentProperties(OWLDataProperty 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
this class.
|
static Collection<OWLDataPropertyExpression> |
getEquivalentProperties(OWLDataProperty e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
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
this class.
|
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
this class.
|
static <P extends OWLPropertyExpression> |
getEquivalentProperties(P 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
this class.
|
static <P extends OWLPropertyExpression> |
getEquivalentProperties(P e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
static Collection<OWLIndividual> |
getIndividuals(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of this
class by axioms in the speficied ontologies.
|
static Collection<OWLIndividual> |
getIndividuals(OWLClass e,
OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of this
class 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 this property by examining the axioms in the
specified ontologies.
|
static Collection<IRI> |
getRanges(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the ranges of this property that have been asserted in the specified
ontology.
|
static Collection<OWLDataRange> |
getRanges(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLDataRange> |
getRanges(OWLDataProperty e,
OWLOntology ontology)
Gets the ranges of this property that have been asserted in the specified
ontology.
|
static Collection<OWLClassExpression> |
getRanges(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the
specified ontologies.
|
static Collection<OWLClassExpression> |
getRanges(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the ranges of this property 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 this entity 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 this entity in their signature.
|
static Collection<OWLIndividual> |
getSameIndividuals(OWLIndividual e,
Iterable<OWLOntology> ontologies)
Gets the same individuals in the specified ontologies.
|
static Collection<OWLIndividual> |
getSameIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the same individuals in the specified ontology.
|
static Collection<OWLClassExpression> |
getSubClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontologies.
|
static Collection<OWLClassExpression> |
getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontology.
|
static Collection<OWLAnnotationProperty> |
getSubProperties(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLAnnotationProperty> |
getSubProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property 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 this
property in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getSubProperties(OWLDataPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getSubProperties(OWLDataPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property 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 this
property in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSubProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSubProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property 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 this
property 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 this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
getSubProperties(P e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property 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 this
property in the specified ontology.
|
static Collection<OWLClassExpression> |
getSuperClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies
and returns the class expression corresponding to the asserted super
classes of this class.
|
static Collection<OWLClassExpression> |
getSuperClasses(OWLClass e,
OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and return the class expressions corresponding to super classes of this
class.
|
static Collection<OWLAnnotationProperty> |
getSuperProperties(OWLAnnotationProperty e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLAnnotationProperty> |
getSuperProperties(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLAnnotationProperty> |
getSuperProperties(OWLAnnotationProperty e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getSuperProperties(OWLDataPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLDataPropertyExpression> |
getSuperProperties(OWLDataPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property 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 this
property in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSuperProperties(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
getSuperProperties(OWLObjectPropertyExpression e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
getSuperProperties(P e,
Iterable<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
getSuperProperties(P e,
OWLOntology ontology)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static <P extends OWLPropertyExpression> |
getSuperProperties(P e,
OWLOntology ontology,
boolean imports)
Gets the properties which are asserted to be sub-properties of this
property 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 propertyOWLAnnotation objects that have the specified
URI.@Nonnull public static Collection<OWLAnnotation> getAnnotationObjects(@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> 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 in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.@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 in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.@Nonnull public static Collection<OWLAnnotationProperty> getSubProperties(@Nonnull OWLAnnotationProperty 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, this) axiom where this refers to
this property.@Nonnull public static Collection<OWLAnnotationProperty> getSuperProperties(@Nonnull OWLAnnotationProperty 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, this) axiom where this refers to
this property.@Nonnull public static Collection<OWLAnnotationProperty> getSuperProperties(@Nonnull OWLAnnotationProperty 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, this) axiom where this refers to
this property.@Nonnull public static Collection<OWLAnnotationProperty> getSuperProperties(@Nonnull OWLAnnotationProperty 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, this) axiom where this refers to
this property.@Nonnull public static Collection<OWLObjectPropertyExpression> getSubProperties(@Nonnull OWLObjectPropertyExpression 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, this) axiom where this refers to
this property.@Nonnull public static Collection<OWLObjectPropertyExpression> getSubProperties(@Nonnull OWLObjectPropertyExpression 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, this) axiom where this refers to
this property.@Nonnull public static Collection<OWLObjectPropertyExpression> getSubProperties(@Nonnull OWLObjectPropertyExpression 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, this) axiom where this refers to
this property.@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 SubAnnotationPropertyOf
axioms.p in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.@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 SubAnnotationPropertyOf
axioms.imports - if true include imports closurep in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.@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 SubAnnotationPropertyOf
axioms.p in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getSuperProperties(@Nonnull P e, @Nonnull OWLOntology ontology)
P - type of propertye - entityontology - The ontology to be examined for SubAnnotationPropertyOf
axioms.p in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getSuperProperties(@Nonnull P e, @Nonnull OWLOntology ontology, boolean imports)
P - type of propertye - 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, this) axiom where this refers to
this property.@Nonnull public static <P extends OWLPropertyExpression> Collection<P> getSuperProperties(@Nonnull P e, @Nonnull Iterable<OWLOntology> ontologies)
P - type of propertye - entityontologies - The ontologies to be examined for SubAnnotationPropertyOf
axioms.p in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.@Nonnull public static Collection<OWLObjectPropertyExpression> getSuperProperties(@Nonnull OWLObjectPropertyExpression 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, this) axiom where this refers to
this property.@Nonnull public static Collection<OWLObjectPropertyExpression> getSuperProperties(@Nonnull OWLObjectPropertyExpression 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, this) axiom where this refers to
this property.@Nonnull public static Collection<OWLObjectPropertyExpression> getSuperProperties(@Nonnull OWLObjectPropertyExpression 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, this) axiom where this refers to
this property.@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, this) axiom where this refers to
this property.@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, this) axiom where this refers to
this property.@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, this) axiom where this refers to
this property.@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, this) axiom where this refers to
this property.@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, this) axiom where this refers to
this property.@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, this) axiom where this refers to
this property.@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 this class, which have been asserted in the
specified ontology.@Nonnull public static Collection<OWLClassExpression> getSuperClasses(@Nonnull OWLClass e, @Nonnull Iterable<OWLOntology> ontologies)
e - entityontologies - The set of ontologies to be examined.OWLClassExpressionss that represent the super
classes of this class@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 represet the
asserted subclasses of this class.@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 represet the
asserted subclasses of this class.@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 this class, 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 this class, 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 this class.@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 this class.@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 OWLClassExpressions that represent the
equivalent classes of this class, 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 axiomsSet of OWLClassExpressions that represent the
equivalent classes of this class, 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 OWLClassExpressions that represent the
equivalent classes of this class, 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 OWLClassExpressions that represent the
equivalent classes of this class, 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 class axiomsSet of OWLClassExpressions that represent the
disjoint classes of this class.@Nonnull public static Collection<OWLDataPropertyExpression> getDisjointProperties(@Nonnull OWLDataProperty e, @Nonnull Iterable<OWLOntology> ontologies)
e - entityontologies - The ontologies to search for disjoint class axiomsSet of OWLClassExpressions that represent the
disjoint classes of this class.@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 class axiomsSet of OWLClassExpressions that represent the
disjoint classes of this class.@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 class axiomsSet of OWLClassExpressions that represent the
disjoint classes of this class.@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 this class, 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 this class, 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 class axiomsSet of OWLClassExpressions that represent the
disjoint classes of this class.@Nonnull public static Collection<OWLObjectPropertyExpression> getDisjointProperties(@Nonnull OWLObjectPropertyExpression e, @Nonnull Iterable<OWLOntology> ontologies)
e - entityontologies - The ontologies to search for disjoint class axiomsSet of OWLClassExpressions that represent the
disjoint classes of this class.@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 this class.Set of OWLIndividuals that represent the
individual that have been asserted to be an instance of this
class.@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 this class.Set of OWLIndividuals that represent the
individual that have been asserted to be an instance of this
class.@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 this propertyOWLClassExpressions corresponding to the domains
of this property (the domain of the property 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 this property.@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 this propertyOWLClassExpressions corresponding to the domains
of this property (the domain of the property 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
this property.@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 this property.@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
this property.@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 this propertyOWLClassExpressions corresponding to the domains
of this property (the domain of the property is essentially the
intersection of these class expressions).@Nonnull public static Collection<IRI> getDomains(@Nonnull OWLAnnotationProperty e, @Nonnull Iterable<OWLOntology> ontologies)
e - entityontologies - The ontologies to be examined.OWLClassExpressions that represent the asserted
domains of this property.@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
this property.@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 included @return true if a is containedpublic 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 included @return true if a is containedpublic 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 © 2016 The University of Manchester. All Rights Reserved.