public class EntitySearcher extends Object
| Modifier and Type | Method and Description |
|---|---|
static java.util.stream.Stream<OWLAxiom> |
axiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology o,
Imports imports)
Get matching axioms for a, ignoring annotations.
|
static boolean |
containsAxiom(OWLAxiom a,
OWLOntology o,
Imports imports)
Checks if o contains axiom a, with or without imports closure.
|
static boolean |
containsAxiom(OWLAxiom a,
java.util.stream.Stream<OWLOntology> ontologies,
Imports 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 boolean |
containsAxiomIgnoreAnnotations(OWLAxiom a,
java.util.stream.Stream<OWLOntology> ontologies,
boolean imports)
Checks if any of the ontologies contains axiom a, with or without imports
closure.
|
static java.util.stream.Stream<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLAnnotationSubject e,
OWLOntology ontology) |
static java.util.stream.Stream<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLEntity e,
OWLOntology ontology) |
static java.util.stream.Stream<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 java.util.stream.Stream<OWLAnnotation> |
getAnnotationObjects(OWLAnnotationSubject e,
java.util.stream.Stream<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 java.util.stream.Stream<OWLAnnotation> |
getAnnotationObjects(OWLEntity e,
OWLOntology ontology)
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 java.util.stream.Stream<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 java.util.stream.Stream<OWLAnnotation> |
getAnnotationObjects(OWLEntity e,
java.util.stream.Stream<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 java.util.stream.Stream<OWLAnnotation> |
getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology)
Gets the annotations for this entity.
|
static java.util.stream.Stream<OWLAnnotation> |
getAnnotations(OWLAnnotationSubject e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity where the annotation has the
specified annotation property.
|
static java.util.stream.Stream<OWLAnnotation> |
getAnnotations(OWLAnnotationSubject e,
java.util.stream.Stream<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity where the annotation has the
specified annotation property.
|
static java.util.stream.Stream<OWLAnnotation> |
getAnnotations(OWLEntity e,
OWLOntology ontology)
Gets the annotations for this entity.
|
static java.util.stream.Stream<OWLAnnotation> |
getAnnotations(OWLEntity e,
OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity where the annotation has the
specified annotation property.
|
static java.util.stream.Stream<OWLAnnotation> |
getAnnotations(OWLEntity e,
java.util.stream.Stream<OWLOntology> ontologies,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity where the annotation has the
specified annotation property.
|
static Collection<OWLAxiom> |
getAxiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology o,
Imports imports)
Get matching axioms for a, ignoring annotations.
|
static java.util.stream.Stream<OWLLiteral> |
getDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static java.util.stream.Stream<OWLLiteral> |
getDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
java.util.stream.Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
getDataPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
getDataPropertyValues(OWLIndividual i,
java.util.stream.Stream<OWLOntology> ontologies) |
static java.util.stream.Stream<OWLIndividual> |
getDifferentIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the different individuals in the specified ontology.
|
static java.util.stream.Stream<OWLIndividual> |
getDifferentIndividuals(OWLIndividual e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the different individuals in the specified ontologies.
|
static java.util.stream.Stream<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 java.util.stream.Stream<OWLClassExpression> |
getDisjointClasses(OWLClass e,
java.util.stream.Stream<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 <P extends OWLPropertyExpression> |
getDisjointProperties(P e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
static java.util.stream.Stream<IRI> |
getDomains(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static java.util.stream.Stream<IRI> |
getDomains(OWLAnnotationProperty e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static java.util.stream.Stream<OWLClassExpression> |
getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static java.util.stream.Stream<OWLClassExpression> |
getDomains(OWLDataProperty e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static java.util.stream.Stream<OWLClassExpression> |
getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the asserted domains of this property.
|
static java.util.stream.Stream<OWLClassExpression> |
getDomains(OWLObjectPropertyExpression e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
static java.util.stream.Stream<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 java.util.stream.Stream<OWLClassExpression> |
getEquivalentClasses(OWLClass e,
java.util.stream.Stream<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 java.util.stream.Stream<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 java.util.stream.Stream<OWLDataPropertyExpression> |
getEquivalentProperties(OWLDataProperty e,
java.util.stream.Stream<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 java.util.stream.Stream<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 java.util.stream.Stream<OWLObjectPropertyExpression> |
getEquivalentProperties(OWLObjectPropertyExpression e,
java.util.stream.Stream<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 java.util.stream.Stream<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 java.util.stream.Stream<OWLIndividual> |
getIndividuals(OWLClass e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of this
class by axioms in the speficied ontologies.
|
static java.util.stream.Stream<OWLIndividual> |
getInstances(OWLClassExpression e,
OWLOntology ontology) |
static java.util.stream.Stream<OWLIndividual> |
getInstances(OWLClassExpression e,
java.util.stream.Stream<OWLOntology> ontologies) |
static java.util.stream.Stream<OWLObjectPropertyExpression> |
getInverses(OWLObjectPropertyExpression e,
OWLOntology ontology) |
static java.util.stream.Stream<OWLObjectPropertyExpression> |
getInverses(OWLObjectPropertyExpression e,
java.util.stream.Stream<OWLOntology> ontologies) |
static java.util.stream.Stream<OWLLiteral> |
getNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static java.util.stream.Stream<OWLLiteral> |
getNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
java.util.stream.Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
getNegativeDataPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> |
getNegativeDataPropertyValues(OWLIndividual i,
java.util.stream.Stream<OWLOntology> ontologies) |
static java.util.stream.Stream<OWLIndividual> |
getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static java.util.stream.Stream<OWLIndividual> |
getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
java.util.stream.Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
getNegativeObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
getNegativeObjectPropertyValues(OWLIndividual i,
java.util.stream.Stream<OWLOntology> ontologies) |
static java.util.stream.Stream<OWLIndividual> |
getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static java.util.stream.Stream<OWLIndividual> |
getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
java.util.stream.Stream<OWLOntology> ontologies) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
getObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
getObjectPropertyValues(OWLIndividual i,
java.util.stream.Stream<OWLOntology> ontologies) |
static java.util.stream.Stream<IRI> |
getRanges(OWLAnnotationProperty e,
OWLOntology ontology)
Gets the ranges of this property that have been asserted in the specified
ontology.
|
static java.util.stream.Stream<IRI> |
getRanges(OWLAnnotationProperty e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the
specified ontologies.
|
static java.util.stream.Stream<OWLDataRange> |
getRanges(OWLDataProperty e,
OWLOntology ontology)
Gets the ranges of this property that have been asserted in the specified
ontology.
|
static java.util.stream.Stream<OWLDataRange> |
getRanges(OWLDataProperty e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the
specified ontologies.
|
static java.util.stream.Stream<OWLClassExpression> |
getRanges(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the ranges of this property that have been asserted in the specified
ontology.
|
static java.util.stream.Stream<OWLClassExpression> |
getRanges(OWLObjectPropertyExpression e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the
specified ontologies.
|
static java.util.stream.Stream<OWLAxiom> |
getReferencingAxioms(OWLEntity e,
OWLOntology ontology)
Gets the axioms in the specified ontology that contain this entity in
their signature.
|
static java.util.stream.Stream<OWLAxiom> |
getReferencingAxioms(OWLEntity e,
OWLOntology ontology,
Imports includeImports)
Gets the axioms in the specified ontology and possibly its imports
closure that contain this entity in their signature.
|
static java.util.stream.Stream<OWLIndividual> |
getSameIndividuals(OWLIndividual e,
OWLOntology ontology)
Gets the same individuals in the specified ontology.
|
static java.util.stream.Stream<OWLIndividual> |
getSameIndividuals(OWLIndividual e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the same individuals in the specified ontologies.
|
static java.util.stream.Stream<OWLClassExpression> |
getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontology.
|
static java.util.stream.Stream<OWLClassExpression> |
getSubClasses(OWLClass e,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontologies.
|
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,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static java.util.stream.Stream<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 java.util.stream.Stream<OWLClassExpression> |
getSuperClasses(OWLClass e,
java.util.stream.Stream<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 <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,
java.util.stream.Stream<OWLOntology> ontologies)
Gets the properties which are asserted to be sub-properties of this
property in the specified ontology.
|
static java.util.stream.Stream<OWLClassExpression> |
getTypes(OWLIndividual e,
OWLOntology ontology) |
static java.util.stream.Stream<OWLClassExpression> |
getTypes(OWLIndividual e,
java.util.stream.Stream<OWLOntology> ontologies) |
static boolean |
hasDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
OWLOntology ontology) |
static boolean |
hasDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
java.util.stream.Stream<OWLOntology> ontologies) |
static boolean |
hasDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static boolean |
hasDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
java.util.stream.Stream<OWLOntology> ontologies) |
static boolean |
hasNegativeDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
OWLOntology ontology) |
static boolean |
hasNegativeDataPropertyValue(OWLIndividual i,
OWLDataPropertyExpression p,
OWLLiteral lit,
java.util.stream.Stream<OWLOntology> ontologies) |
static boolean |
hasNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
OWLOntology ontology) |
static boolean |
hasNegativeDataPropertyValues(OWLIndividual i,
OWLDataPropertyExpression p,
java.util.stream.Stream<OWLOntology> ontologies) |
static boolean |
hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
OWLOntology ontology) |
static boolean |
hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
java.util.stream.Stream<OWLOntology> ontologies) |
static boolean |
hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static boolean |
hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
java.util.stream.Stream<OWLOntology> ontologies) |
static boolean |
hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
OWLOntology ontology) |
static boolean |
hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
java.util.stream.Stream<OWLOntology> ontologies) |
static boolean |
hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
static boolean |
hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
java.util.stream.Stream<OWLOntology> ontologies) |
static boolean |
isAsymmetric(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared asymmetric in o.
|
static boolean |
isAsymmetric(OWLObjectPropertyExpression e,
java.util.stream.Stream<OWLOntology> ontologies)
Checks if e is declared asymmetric 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 |
isDefined(OWLClass c,
java.util.stream.Stream<OWLOntology> ontologies)
Checks if c is defined (is included in equivalent axioms) in a collection
of ontologies.
|
static boolean |
isFunctional(OWLDataProperty e,
OWLOntology o)
Checks if e is declared functional in o.
|
static boolean |
isFunctional(OWLDataProperty e,
java.util.stream.Stream<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 |
isFunctional(OWLObjectPropertyExpression e,
java.util.stream.Stream<OWLOntology> ontologies)
Checks if e is declared functional in a collection of ontologies.
|
static boolean |
isInverseFunctional(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared inverse functional in o.
|
static boolean |
isInverseFunctional(OWLObjectPropertyExpression e,
java.util.stream.Stream<OWLOntology> ontologies)
Checks if e is declared inverse functional in a collection of ontologies.
|
static boolean |
isIrreflexive(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared irreflexive in o.
|
static boolean |
isIrreflexive(OWLObjectPropertyExpression e,
java.util.stream.Stream<OWLOntology> ontologies)
Checks if e is declared irreflexive in a collection of ontologies.
|
static boolean |
isReflexive(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared reflexive in o.
|
static boolean |
isReflexive(OWLObjectPropertyExpression e,
java.util.stream.Stream<OWLOntology> ontologies)
Checks if e is declared reflexive in a collection of ontologies.
|
static boolean |
isSymmetric(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared symmetric in o.
|
static boolean |
isSymmetric(OWLObjectPropertyExpression e,
java.util.stream.Stream<OWLOntology> ontologies)
Checks if e is declared symmetric in a collection of ontologies.
|
static boolean |
isTransitive(OWLObjectPropertyExpression e,
OWLOntology o)
Checks if e is declared transitive in o.
|
static boolean |
isTransitive(OWLObjectPropertyExpression e,
java.util.stream.Stream<OWLOntology> ontologies)
Checks if e is declared transitive in a collection of ontologies.
|
public static java.util.stream.Stream<OWLAnnotation> getAnnotations(OWLEntity e, OWLOntology ontology)
e - entityontology - The ontology to be examined for annotation assertion axiomspublic static java.util.stream.Stream<OWLAnnotation> getAnnotations(OWLAnnotationSubject e, OWLOntology ontology)
e - entityontology - The ontology to be examined for annotation assertion axiomspublic static java.util.stream.Stream<OWLAnnotation> getAnnotations(OWLEntity e, OWLOntology ontology, OWLAnnotationProperty annotationProperty)
e - entityontology - The ontology to examine for annotation axiomsannotationProperty - The annotation propertyOWLAnnotation objects that have the specified
URI.public static java.util.stream.Stream<OWLAnnotation> getAnnotationObjects(OWLEntity e, OWLOntology ontology, @Nullable OWLAnnotationProperty annotationProperty)
e - entityontology - The ontology to examine for annotation axiomsannotationProperty - The annotation propertyOWLAnnotation objects that have the specified
URI.public static java.util.stream.Stream<OWLAnnotation> getAnnotationObjects(OWLEntity e, OWLOntology ontology)
e - entityontology - The ontology to examine for annotation axiomsOWLAnnotation objects that have the specified
URI.public static java.util.stream.Stream<OWLAnnotation> getAnnotationObjects(OWLAnnotationSubject e, OWLOntology ontology, @Nullable OWLAnnotationProperty annotationProperty)
e - entityontology - The ontology to examine for annotation axiomsannotationProperty - The annotation propertyOWLAnnotation objects that have the specified
URI.public static java.util.stream.Stream<OWLAnnotation> getAnnotationObjects(OWLAnnotationSubject e, java.util.stream.Stream<OWLOntology> ontologies, @Nullable OWLAnnotationProperty annotationProperty)
e - entityontologies - The ontologies to examine for annotation axiomsannotationProperty - The annotation propertyOWLAnnotation objects that have the specified
URI.public static java.util.stream.Stream<OWLAnnotation> getAnnotationObjects(OWLEntity e, java.util.stream.Stream<OWLOntology> ontologies, @Nullable OWLAnnotationProperty annotationProperty)
e - entityontologies - The ontologies to examine for annotation axiomsannotationProperty - The annotation propertyOWLAnnotation objects that have the specified
URI.public static java.util.stream.Stream<OWLAnnotation> getAnnotations(OWLAnnotationSubject e, OWLOntology ontology, OWLAnnotationProperty annotationProperty)
e - entityontology - The ontology to examine for annotation axiomsannotationProperty - The annotation propertyOWLAnnotation objects that have the specified
URI.public static java.util.stream.Stream<OWLAnnotation> getAnnotations(OWLAnnotationSubject e, java.util.stream.Stream<OWLOntology> ontologies, OWLAnnotationProperty annotationProperty)
e - entityontologies - The ontologies to examine for annotation axiomsannotationProperty - The annotation propertyOWLAnnotation objects that have the specified
URI.public static java.util.stream.Stream<OWLAnnotation> getAnnotations(OWLEntity e, java.util.stream.Stream<OWLOntology> ontologies, OWLAnnotationProperty annotationProperty)
e - entityontologies - The ontologies to examine for annotation axiomsannotationProperty - The annotation propertyOWLAnnotation objects that have the specified
URI.public static java.util.stream.Stream<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLEntity e, OWLOntology ontology)
e - entityontology - the ontology to usepublic static java.util.stream.Stream<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLAnnotationSubject e, OWLOntology ontology)
e - entityontology - the ontology to usepublic static <P extends OWLPropertyExpression> java.util.stream.Stream<P> getSubProperties(P e, OWLOntology ontology)
e - entityontology - The ontology to be examined for SubProperty axioms.p in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.public static <P extends OWLPropertyExpression> java.util.stream.Stream<P> getSubProperties(P e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies to be examined for SubProperty axioms.p in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.public static <P extends OWLPropertyExpression> java.util.stream.Stream<P> getSuperProperties(P e, OWLOntology ontology)
e - entityontology - The ontology to be examined for SubProperty axioms.p in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.public static <P extends OWLPropertyExpression> java.util.stream.Stream<P> getSuperProperties(P e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies to be examined for SubPropertyOf axioms.p in the
set, it is the case that ontology contains an
SubPropertyOf(p, this) axiom where this refers to
this property.public static java.util.stream.Stream<OWLClassExpression> getSuperClasses(OWLClass e, 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.public static java.util.stream.Stream<OWLClassExpression> getSuperClasses(OWLClass e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The set of ontologies to be examined.OWLClassExpressionss that represent the super
classes of this classpublic static java.util.stream.Stream<OWLClassExpression> getSubClasses(OWLClass e, OWLOntology ontology)
e - entityontology - The ontology which should be examined for subclass axioms.Set of OWLClassExpressions that represet the
asserted subclasses of this class.public static java.util.stream.Stream<OWLClassExpression> getSubClasses(OWLClass e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies which should be examined for subclass axioms.Set of OWLClassExpressions that represet the
asserted subclasses of this class.public static java.util.stream.Stream<OWLClassExpression> getEquivalentClasses(OWLClass e, 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.public static java.util.stream.Stream<OWLClassExpression> getEquivalentClasses(OWLClass e, java.util.stream.Stream<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.public static java.util.stream.Stream<OWLClassExpression> getDisjointClasses(OWLClass e, OWLOntology ontology)
e - entityontology - The ontology to search for disjoint class axiomsSet of OWLClassExpressions that represent the
disjoint classes of this class.public static java.util.stream.Stream<OWLClassExpression> getDisjointClasses(OWLClass e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies to search for disjoint class axiomsSet of OWLClassExpressions that represent the
disjoint classes of this class.public static java.util.stream.Stream<OWLIndividual> getDifferentIndividuals(OWLIndividual e, OWLOntology ontology)
e - individualontology - The ontology to search for different individualsSet of different OWLIndividuals.public static java.util.stream.Stream<OWLIndividual> getDifferentIndividuals(OWLIndividual e, java.util.stream.Stream<OWLOntology> ontologies)
e - individualontologies - The ontologies to search for different individualsSet of different OWLIndividuals.public static java.util.stream.Stream<OWLIndividual> getSameIndividuals(OWLIndividual e, OWLOntology ontology)
e - individualontology - The ontology to search for same individualsSet of same OWLIndividuals.public static java.util.stream.Stream<OWLIndividual> getSameIndividuals(OWLIndividual e, java.util.stream.Stream<OWLOntology> ontologies)
e - individualontologies - The ontologies to search for same individualsSet of same OWLIndividuals.public static java.util.stream.Stream<OWLDataPropertyExpression> getEquivalentProperties(OWLDataProperty e, 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.public static java.util.stream.Stream<OWLDataPropertyExpression> getEquivalentProperties(OWLDataProperty e, java.util.stream.Stream<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.public static <P extends OWLPropertyExpression> java.util.stream.Stream<P> getDisjointProperties(P e, OWLOntology ontology)
e - entityontology - The ontology to search for disjoint class axiomsSet of OWLClassExpressions that represent the
disjoint classes of this class.public static <P extends OWLPropertyExpression> java.util.stream.Stream<P> getDisjointProperties(P e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies to search for disjoint class axiomsSet of OWLClassExpressions that represent the
disjoint classes of this class.public static java.util.stream.Stream<OWLObjectPropertyExpression> getEquivalentProperties(OWLObjectPropertyExpression e, 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.public static java.util.stream.Stream<OWLObjectPropertyExpression> getEquivalentProperties(OWLObjectPropertyExpression e, java.util.stream.Stream<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.public static java.util.stream.Stream<OWLIndividual> getIndividuals(OWLClass e, 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.public static java.util.stream.Stream<OWLIndividual> getIndividuals(OWLClass e, java.util.stream.Stream<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.public static java.util.stream.Stream<OWLAxiom> getReferencingAxioms(OWLEntity e, OWLOntology ontology)
e - entityontology - The ontology that will be searched for axiomspublic static java.util.stream.Stream<OWLAxiom> getReferencingAxioms(OWLEntity e, OWLOntology ontology, Imports 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.public static java.util.stream.Stream<OWLClassExpression> getDomains(OWLDataProperty e, 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).public static java.util.stream.Stream<OWLClassExpression> getDomains(OWLDataProperty e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies to be examined.OWLClassExpressions that represent the asserted
domains of this property.public static java.util.stream.Stream<OWLClassExpression> getDomains(OWLObjectPropertyExpression e, 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).public static java.util.stream.Stream<OWLDataRange> getRanges(OWLDataProperty e, OWLOntology ontology)
e - entityontology - The ontology to be searched for axioms which assert a range for
this property.public static java.util.stream.Stream<OWLDataRange> getRanges(OWLDataProperty e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies to be examined for range axioms.public static java.util.stream.Stream<OWLClassExpression> getDomains(OWLObjectPropertyExpression e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies to be examined.OWLClassExpressions that represent the asserted
domains of this property.public static java.util.stream.Stream<OWLClassExpression> getRanges(OWLObjectPropertyExpression e, OWLOntology ontology)
e - entityontology - The ontology to be searched for axioms which assert a range for
this property.public static java.util.stream.Stream<OWLClassExpression> getRanges(OWLObjectPropertyExpression e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies to be examined for range axioms.public static java.util.stream.Stream<IRI> getDomains(OWLAnnotationProperty e, 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).public static java.util.stream.Stream<IRI> getDomains(OWLAnnotationProperty e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies to be examined.OWLClassExpressions that represent the asserted
domains of this property.public static java.util.stream.Stream<IRI> getRanges(OWLAnnotationProperty e, OWLOntology ontology)
e - entityontology - The ontology to be searched for axioms which assert a range for
this property.public static java.util.stream.Stream<IRI> getRanges(OWLAnnotationProperty e, java.util.stream.Stream<OWLOntology> ontologies)
e - entityontologies - The ontologies to be examined for range axioms.public static boolean isTransitive(OWLObjectPropertyExpression e, OWLOntology o)
o - ontologye - propertypublic static boolean isTransitive(OWLObjectPropertyExpression e, java.util.stream.Stream<OWLOntology> ontologies)
ontologies - ontologiese - propertypublic static boolean isSymmetric(OWLObjectPropertyExpression e, OWLOntology o)
o - ontologye - propertypublic static boolean isSymmetric(OWLObjectPropertyExpression e, java.util.stream.Stream<OWLOntology> ontologies)
ontologies - ontologiese - propertypublic static boolean isAsymmetric(OWLObjectPropertyExpression e, OWLOntology o)
o - ontologye - propertypublic static boolean isAsymmetric(OWLObjectPropertyExpression e, java.util.stream.Stream<OWLOntology> ontologies)
ontologies - ontologiese - propertypublic static boolean isReflexive(OWLObjectPropertyExpression e, OWLOntology o)
o - ontologye - propertypublic static boolean isReflexive(OWLObjectPropertyExpression e, java.util.stream.Stream<OWLOntology> ontologies)
ontologies - ontologiese - propertypublic static boolean isIrreflexive(OWLObjectPropertyExpression e, OWLOntology o)
o - ontologye - propertypublic static boolean isIrreflexive(OWLObjectPropertyExpression e, java.util.stream.Stream<OWLOntology> ontologies)
ontologies - ontologiese - propertypublic static boolean isInverseFunctional(OWLObjectPropertyExpression e, OWLOntology o)
o - ontologye - propertypublic static boolean isInverseFunctional(OWLObjectPropertyExpression e, java.util.stream.Stream<OWLOntology> ontologies)
ontologies - ontologiese - propertypublic static boolean isFunctional(OWLObjectPropertyExpression e, OWLOntology o)
o - ontologye - propertypublic static boolean isFunctional(OWLObjectPropertyExpression e, java.util.stream.Stream<OWLOntology> ontologies)
ontologies - ontologiese - propertypublic static boolean isFunctional(OWLDataProperty e, OWLOntology o)
o - ontologye - propertypublic static boolean isFunctional(OWLDataProperty e, java.util.stream.Stream<OWLOntology> ontologies)
ontologies - ontologiese - propertypublic static boolean isDefined(OWLClass c, OWLOntology o)
o - ontologyc - classpublic static boolean isDefined(OWLClass c, java.util.stream.Stream<OWLOntology> ontologies)
ontologies - ontologiesc - classpublic static boolean containsAxiom(OWLAxiom a, OWLOntology o, Imports imports)
o - ontologya - axiomimports - true if imports closure is includedpublic static boolean containsAxiom(OWLAxiom a, java.util.stream.Stream<OWLOntology> ontologies, Imports imports)
ontologies - ontologiesa - axiomimports - true if imports closure is includedpublic static boolean containsAxiomIgnoreAnnotations(OWLAxiom a, OWLOntology o, boolean imports)
o - ontologya - axiomimports - true if imports closure is includedpublic static boolean containsAxiomIgnoreAnnotations(OWLAxiom a, java.util.stream.Stream<OWLOntology> ontologies, boolean imports)
ontologies - ontologiesa - axiomimports - true if imports closure is includedpublic static Collection<OWLAxiom> getAxiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, Imports imports)
o - ontologya - axiomimports - true if imports closure is includedpublic static java.util.stream.Stream<OWLAxiom> axiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, Imports imports)
o - ontologya - axiomimports - true if imports closure is includedpublic static java.util.stream.Stream<OWLLiteral> getDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
i - individualp - property to searchontology - ontology to searchpublic static java.util.stream.Stream<OWLLiteral> getDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchontologies - ontologies to searchpublic static java.util.stream.Stream<OWLIndividual> getObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
i - individualp - property to searchontology - ontology to searchpublic static java.util.stream.Stream<OWLIndividual> getObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchontologies - ontologies to searchpublic static java.util.stream.Stream<OWLLiteral> getNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
i - individualp - property to searchontology - ontology to searchpublic static java.util.stream.Stream<OWLLiteral> getNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchontologies - ontologies to searchpublic static java.util.stream.Stream<OWLIndividual> getNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
i - individualp - property to searchontology - ontology to searchpublic static java.util.stream.Stream<OWLIndividual> getNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchontologies - ontologies to searchpublic static boolean hasDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
i - individualp - property to searchontology - ontology to searchpublic static boolean hasDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchontologies - ontologies to searchpublic static boolean hasObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
i - individualp - property to searchontology - ontology to searchpublic static boolean hasObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchontologies - ontologies to searchpublic static boolean hasNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
i - individualp - property to searchontology - ontology to searchpublic static boolean hasNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchontologies - ontologies to searchpublic static boolean hasNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
i - individualp - property to searchontology - ontology to searchpublic static boolean hasNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchontologies - ontologies to searchpublic static boolean hasDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, OWLOntology ontology)
i - individualp - property to searchlit - literal to searchontology - ontology to searchpublic static boolean hasDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchlit - literal to searchontologies - ontologies to searchpublic static boolean hasObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, OWLOntology ontology)
i - individualp - property to searchj - individual to searchontology - ontology to searchpublic static boolean hasObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchj - individual to searchontologies - ontologies to searchpublic static boolean hasNegativeDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, OWLOntology ontology)
i - individualp - property to searchlit - literal to searchontology - ontology to searchpublic static boolean hasNegativeDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchlit - literal to searchontologies - ontologies to searchpublic static boolean hasNegativeObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, OWLOntology ontology)
i - individualp - property to searchj - individual to searchontology - ontology to searchpublic static boolean hasNegativeObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, java.util.stream.Stream<OWLOntology> ontologies)
i - individualp - property to searchj - individual to searchontologies - ontologies to searchpublic static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getDataPropertyValues(OWLIndividual i, OWLOntology ontology)
i - individualontology - ontology to searchpublic static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getDataPropertyValues(OWLIndividual i, java.util.stream.Stream<OWLOntology> ontologies)
i - individualontologies - ontologies to searchpublic static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getObjectPropertyValues(OWLIndividual i, OWLOntology ontology)
i - individualontology - ontology to searchpublic static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getObjectPropertyValues(OWLIndividual i, java.util.stream.Stream<OWLOntology> ontologies)
i - individualontologies - ontologies to searchpublic static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getNegativeObjectPropertyValues(OWLIndividual i, OWLOntology ontology)
i - individualontology - ontology to searchpublic static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getNegativeDataPropertyValues(OWLIndividual i, OWLOntology ontology)
i - individualontology - ontology to searchpublic static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> getNegativeObjectPropertyValues(OWLIndividual i, java.util.stream.Stream<OWLOntology> ontologies)
i - individualontologies - ontologies to searchpublic static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral> getNegativeDataPropertyValues(OWLIndividual i, java.util.stream.Stream<OWLOntology> ontologies)
i - individualontologies - ontologies to searchpublic static java.util.stream.Stream<OWLObjectPropertyExpression> getInverses(OWLObjectPropertyExpression e, OWLOntology ontology)
e - object propertyontology - ontology to searchpublic static java.util.stream.Stream<OWLObjectPropertyExpression> getInverses(OWLObjectPropertyExpression e, java.util.stream.Stream<OWLOntology> ontologies)
e - object propertyontologies - ontologies to searchpublic static java.util.stream.Stream<OWLIndividual> getInstances(OWLClassExpression e, OWLOntology ontology)
e - classontology - ontology to searchpublic static java.util.stream.Stream<OWLIndividual> getInstances(OWLClassExpression e, java.util.stream.Stream<OWLOntology> ontologies)
e - classontologies - ontologies to searchpublic static java.util.stream.Stream<OWLClassExpression> getTypes(OWLIndividual e, OWLOntology ontology)
e - individualontology - ontology to searchpublic static java.util.stream.Stream<OWLClassExpression> getTypes(OWLIndividual e, java.util.stream.Stream<OWLOntology> ontologies)
e - individualontologies - ontologies to searchCopyright © 2017 The University of Manchester. All Rights Reserved.