Modifier and Type | Method | Description |
---|---|---|
static OWLSubPropertyChainOfAxiom |
OWLFunctionalSyntaxFactory.SubPropertyChainOf(List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty) |
|
static OWLSubPropertyChainOfAxiom |
OWLFunctionalSyntaxFactory.SubPropertyChainOf(List<? extends OWLObjectPropertyExpression> chain,
OWLObjectPropertyExpression superProperty,
Set<OWLAnnotation> a) |
Constructor | Description |
---|---|
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory,
OWLClass cls,
OWLObjectPropertyExpression property,
Set<OWLOntology> ontologies,
OWLOntology targetOntology) |
Creates a composite change that will add a closure axiom for a given
class along a specified property.
|
Modifier and Type | Method | Description |
---|---|---|
List<OWLObjectPropertyExpression> |
ManchesterOWLSyntaxParserImpl.parseObjectPropertyChain() |
|
Set<OWLObjectPropertyExpression> |
ManchesterOWLSyntaxParserImpl.parseObjectPropertyList() |
Modifier and Type | Method | Description |
---|---|---|
Collection<OWLAxiom> |
ManchesterOWLSyntaxFrameRenderer.write(OWLObjectPropertyExpression property) |
Modifier and Type | Interface | Description |
---|---|---|
interface |
OWLObjectInverseOf |
Represents a ObjectInverseOf Represents the inverse of a property expression.
|
interface |
OWLObjectProperty |
Represents an Object
Property in the OWL 2 Specification.
|
Modifier and Type | Method | Description |
---|---|---|
OWLObjectPropertyExpression |
OWLInverseObjectPropertiesAxiom.getFirstProperty() |
|
OWLObjectPropertyExpression |
OWLObjectInverseOf.getInverse() |
Gets the property expression that this is the inverse of.
|
OWLObjectPropertyExpression |
OWLObjectPropertyExpression.getInverseProperty() |
Obtains the property that corresponds to the inverse of this property.
|
OWLObjectPropertyExpression |
SWRLObjectPropertyAtom.getPredicate() |
|
OWLObjectPropertyExpression |
OWLObjectRestriction.getProperty() |
Gets the property/properties that the restriction acts along depending on
R being a scalar or collection type.
|
OWLObjectPropertyExpression |
OWLInverseObjectPropertiesAxiom.getSecondProperty() |
|
OWLObjectPropertyExpression |
OWLObjectPropertyExpression.getSimplified() |
Deprecated.
Since it is not legal to apply ObjectInverseOf to anything
other than an Object Property, all object properties are
always in the simpled form.
|
OWLObjectPropertyExpression |
OWLSubPropertyChainOfAxiom.getSuperProperty() |
Gets the super property of this axiom.
|
Modifier and Type | Method | Description |
---|---|---|
Set<OWLObjectPropertyExpression> |
OWLHasKeyAxiom.getObjectPropertyExpressions() |
Gets the set of object property expressions that make up the key.
|
List<OWLObjectPropertyExpression> |
OWLSubPropertyChainOfAxiom.getPropertyChain() |
Gets the chain of properties that represents the subproperty in this
axiom.
|
Modifier and Type | Method | Description |
---|---|---|
Set<OWLObjectPropertyExpression> |
OWL2ProfileReport.getNonSimpleRoles() |
|
Set<OWLObjectPropertyExpression> |
OWL2ProfileReport.getSimpleRoles() |
Modifier and Type | Method | Description |
---|---|---|
OWLObjectPropertyExpression |
UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom.getExpression() |
|
OWLObjectPropertyExpression |
UseOfNonSimplePropertyInDisjointPropertiesAxiom.getExpression() |
|
OWLObjectPropertyExpression |
UseOfNonSimplePropertyInFunctionalPropertyAxiom.getExpression() |
|
OWLObjectPropertyExpression |
UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom.getExpression() |
|
OWLObjectPropertyExpression |
UseOfNonSimplePropertyInIrreflexivePropertyAxiom.getExpression() |
|
OWLObjectPropertyExpression |
UseOfObjectPropertyInverse.getExpression() |
|
OWLObjectPropertyExpression |
UseOfPropertyInChainCausesCycle.getExpression() |
Constructor | Description |
---|---|
UseOfNonSimplePropertyInDisjointPropertiesAxiom(OWLOntology ontology,
OWLDisjointObjectPropertiesAxiom axiom,
OWLObjectPropertyExpression prop) |
|
UseOfObjectPropertyInverse(OWLOntology ontology,
OWLAxiom axiom,
OWLObjectPropertyExpression propertyExpression) |
|
UseOfPropertyInChainCausesCycle(OWLOntology ontology,
OWLSubPropertyChainOfAxiom axiom,
OWLObjectPropertyExpression property) |
Modifier and Type | Method | Description |
---|---|---|
OWLObjectPropertyExpression |
OWLRDFConsumer.translateObjectPropertyExpression(IRI mainNode) |
Translate object property expression.
|
Modifier and Type | Method | Description |
---|---|---|
Node<OWLObjectPropertyExpression> |
OWLReasoner.getBottomObjectPropertyNode() |
Gets the
Node corresponding to the bottom node (containing
owl:bottomObjectProperty ) in the object property hierarchy. |
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getDisjointObjectProperties(OWLObjectPropertyExpression pe) |
Gets the simplified object property expressions that
are disjoint with the specified object property expression
pe . |
Node<OWLObjectPropertyExpression> |
OWLReasoner.getEquivalentObjectProperties(OWLObjectPropertyExpression pe) |
Gets the set of simplified object property expressions
that are equivalent to the specified object property expression with
respect to the set of reasoner axioms.
|
Node<OWLObjectPropertyExpression> |
OWLReasoner.getInverseObjectProperties(OWLObjectPropertyExpression pe) |
Gets the set of simplified object property expressions
that are the inverses of the specified object property expression with
respect to the imports closure of the root ontology.
|
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe,
boolean direct) |
Gets the set of simplified object property expressions
that are the strict (potentially direct) subproperties of the specified
object property expression with respect to the imports closure of the
root ontology.
|
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe,
boolean direct) |
Gets the set of simplified object property expressions
that are the strict (potentially direct) super properties of the
specified object property expression with respect to the imports closure
of the root ontology.
|
Node<OWLObjectPropertyExpression> |
OWLReasoner.getTopObjectPropertyNode() |
Gets the
Node corresponding to the top node (containing
owl:topObjectProperty ) in the object property hierarchy. |
Modifier and Type | Method | Description |
---|---|---|
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getDisjointObjectProperties(OWLObjectPropertyExpression pe) |
Gets the simplified object property expressions that
are disjoint with the specified object property expression
pe . |
Node<OWLObjectPropertyExpression> |
OWLReasoner.getEquivalentObjectProperties(OWLObjectPropertyExpression pe) |
Gets the set of simplified object property expressions
that are equivalent to the specified object property expression with
respect to the set of reasoner axioms.
|
Node<OWLObjectPropertyExpression> |
OWLReasoner.getInverseObjectProperties(OWLObjectPropertyExpression pe) |
Gets the set of simplified object property expressions
that are the inverses of the specified object property expression with
respect to the imports closure of the root ontology.
|
NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe,
boolean direct) |
Gets the named classes that are the direct or indirect domains of this
property with respect to the imports closure of the root ontology.
|
NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe,
boolean direct) |
Gets the named classes that are the direct or indirect ranges of this
property with respect to the imports closure of the root ontology.
|
NodeSet<OWLNamedIndividual> |
OWLReasoner.getObjectPropertyValues(OWLNamedIndividual ind,
OWLObjectPropertyExpression pe) |
Gets the object property values for the specified individual and object
property expression.
|
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe,
boolean direct) |
Gets the set of simplified object property expressions
that are the strict (potentially direct) subproperties of the specified
object property expression with respect to the imports closure of the
root ontology.
|
NodeSet<OWLObjectPropertyExpression> |
OWLReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe,
boolean direct) |
Gets the set of simplified object property expressions
that are the strict (potentially direct) super properties of the
specified object property expression with respect to the imports closure
of the root ontology.
|
Modifier and Type | Method | Description |
---|---|---|
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyBottomNode() |
|
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyNode() |
|
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyNode(Set<OWLObjectPropertyExpression> properties) |
|
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyNode(OWLObjectPropertyExpression prop) |
|
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyTopNode() |
Modifier and Type | Method | Description |
---|---|---|
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyNode(OWLObjectPropertyExpression prop) |
Modifier and Type | Method | Description |
---|---|---|
static DefaultNode<OWLObjectPropertyExpression> |
NodeFactory.getOWLObjectPropertyNode(Set<OWLObjectPropertyExpression> properties) |
Constructor | Description |
---|---|
OWLObjectPropertyNode(OWLObjectPropertyExpression entity) |
|
OWLObjectPropertyNodeSet(OWLObjectPropertyExpression entity) |
Constructor | Description |
---|---|
OWLObjectPropertyNode(Set<OWLObjectPropertyExpression> entities) |
|
OWLObjectPropertyNodeSet(Set<Node<OWLObjectPropertyExpression>> nodes) |
|
OWLObjectPropertyNodeSet(Node<OWLObjectPropertyExpression> owlObjectPropertyNode) |
Modifier and Type | Method | Description |
---|---|---|
Node<? extends OWLObjectPropertyExpression> |
OWLKnowledgeExplorerReasoner.getObjectNeighbours(OWLKnowledgeExplorerReasoner.RootNode node,
boolean deterministicOnly) |
Modifier and Type | Method | Description |
---|---|---|
Node<OWLObjectPropertyExpression> |
StructuralReasoner.getBottomObjectPropertyNode() |
|
NodeSet<OWLObjectPropertyExpression> |
StructuralReasoner.getDisjointObjectProperties(OWLObjectPropertyExpression pe) |
|
Node<OWLObjectPropertyExpression> |
StructuralReasoner.getEquivalentObjectProperties(OWLObjectPropertyExpression pe) |
|
Node<OWLObjectPropertyExpression> |
StructuralReasoner.getInverseObjectProperties(OWLObjectPropertyExpression pe) |
|
NodeSet<OWLObjectPropertyExpression> |
StructuralReasoner.getSubObjectProperties(OWLObjectPropertyExpression pe,
boolean direct) |
|
NodeSet<OWLObjectPropertyExpression> |
StructuralReasoner.getSuperObjectProperties(OWLObjectPropertyExpression pe,
boolean direct) |
|
Node<OWLObjectPropertyExpression> |
StructuralReasoner.getTopObjectPropertyNode() |
Modifier and Type | Method | Description |
---|---|---|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.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> |
EntitySearcher.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 Collection<OWLObjectPropertyExpression> |
EntitySearcher.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> |
EntitySearcher.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 Collection<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
OWLOntology ontology) |
|
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
Iterable<OWLOntology> ontologies) |
|
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
|
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
Iterable<OWLOntology> ontologies) |
|
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLOntology ontology) |
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.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> |
EntitySearcher.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> |
EntitySearcher.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 Collection<OWLObjectPropertyExpression> |
EntitySearcher.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> |
EntitySearcher.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> |
EntitySearcher.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 Collection<OWLObjectPropertyExpression> |
Searcher.inverse(Collection<OWLInverseObjectPropertiesAxiom> axioms,
OWLObjectPropertyExpression p) |
Retrieve inverses from a collection of inverse axioms.
|
Modifier and Type | Method | Description |
---|---|---|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.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> |
EntitySearcher.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 Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
Gets the asserted domains of this property by examining the axioms in the specified
ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology) |
Gets the asserted domains of this property.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.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> |
EntitySearcher.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 Collection<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.getInverses(OWLObjectPropertyExpression e,
OWLOntology ontology) |
|
static Collection<OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
|
static Collection<OWLIndividual> |
EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
|
static Collection<OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
|
static Collection<OWLIndividual> |
EntitySearcher.getObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
|
static Collection<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
Gets the asserted ranges of this property by examining the axioms in the specified
ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
OWLOntology ontology) |
Gets the ranges of this property that have been asserted in the specified ontology.
|
static Collection<OWLObjectPropertyExpression> |
EntitySearcher.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> |
EntitySearcher.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> |
EntitySearcher.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 Collection<OWLObjectPropertyExpression> |
EntitySearcher.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> |
EntitySearcher.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> |
EntitySearcher.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 boolean |
EntitySearcher.hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
Iterable<OWLOntology> ontologies) |
|
static boolean |
EntitySearcher.hasNegativeObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
OWLOntology ontology) |
|
static boolean |
EntitySearcher.hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
|
static boolean |
EntitySearcher.hasNegativeObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
|
static boolean |
EntitySearcher.hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
Iterable<OWLOntology> ontologies) |
|
static boolean |
EntitySearcher.hasObjectPropertyValue(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLIndividual j,
OWLOntology ontology) |
|
static boolean |
EntitySearcher.hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
Iterable<OWLOntology> ontologies) |
|
static boolean |
EntitySearcher.hasObjectPropertyValues(OWLIndividual i,
OWLObjectPropertyExpression p,
OWLOntology ontology) |
|
static Collection<OWLObjectPropertyExpression> |
Searcher.inverse(Collection<OWLInverseObjectPropertiesAxiom> axioms,
OWLObjectPropertyExpression p) |
Retrieve inverses from a collection of inverse axioms.
|
static boolean |
EntitySearcher.isAsymmetric(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
Checks if e is declared asymmetric in a collection of ontologies.
|
static boolean |
EntitySearcher.isAsymmetric(OWLObjectPropertyExpression e,
OWLOntology o) |
Checks if e is declared asymmetric in o.
|
static boolean |
EntitySearcher.isFunctional(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
Checks if e is declared functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isFunctional(OWLObjectPropertyExpression e,
OWLOntology o) |
Checks if e is declared functional in o.
|
static boolean |
EntitySearcher.isInverseFunctional(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
Checks if e is declared inverse functional in a collection of ontologies.
|
static boolean |
EntitySearcher.isInverseFunctional(OWLObjectPropertyExpression e,
OWLOntology o) |
Checks if e is declared inverse functional in o.
|
static boolean |
EntitySearcher.isIrreflexive(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
Checks if e is declared irreflexive in a collection of ontologies.
|
static boolean |
EntitySearcher.isIrreflexive(OWLObjectPropertyExpression e,
OWLOntology o) |
Checks if e is declared irreflexive in o.
|
static boolean |
EntitySearcher.isReflexive(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
Checks if e is declared reflexive in a collection of ontologies.
|
static boolean |
EntitySearcher.isReflexive(OWLObjectPropertyExpression e,
OWLOntology o) |
Checks if e is declared reflexive in o.
|
static boolean |
EntitySearcher.isSymmetric(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
Checks if e is declared symmetric in a collection of ontologies.
|
static boolean |
EntitySearcher.isSymmetric(OWLObjectPropertyExpression e,
OWLOntology o) |
Checks if e is declared symmetric in o.
|
static boolean |
EntitySearcher.isTransitive(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies) |
Checks if e is declared transitive in a collection of ontologies.
|
static boolean |
EntitySearcher.isTransitive(OWLObjectPropertyExpression e,
OWLOntology o) |
Checks if e is declared transitive in o.
|
static Collection<OWLIndividual> |
Searcher.negValues(Collection<OWLNegativeObjectPropertyAssertionAxiom> axioms,
OWLObjectPropertyExpression p) |
Retrieve objects from a collection of negative assertions.
|
static Collection<OWLIndividual> |
Searcher.values(Collection<OWLObjectPropertyAssertionAxiom> axioms,
OWLObjectPropertyExpression p) |
Retrieve objects from a collection of assertions.
|
Modifier and Type | Method | Description |
---|---|---|
OWLObjectPropertyExpression |
ObjectPropertySimplifier.getSimplified(OWLObjectPropertyExpression prop) |
Deprecated.
Gets an object property expression in its simplest form.
|
Modifier and Type | Method | Description |
---|---|---|
Set<OWLObjectPropertyExpression> |
OWLObjectPropertyManager.getCompositeProperties() |
|
Collection<Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getEquivalentObjectProperties() |
|
static Collection<Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getEquivalentObjectProperties(Set<OWLOntology> ontologies) |
|
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getHierarchyReflexiveTransitiveClosure() |
|
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getHierarchyReflexiveTransitiveClosure() |
|
Set<OWLObjectPropertyExpression> |
OWLObjectPropertyManager.getNonSimpleProperties() |
|
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getPropertyHierarchy() |
The object property hierarchy relation -> is the smallest relation on
object property expressions for which the following conditions hold (A
-> B means that -> holds for A and B): if Ax contains an axiom
SubObjectPropertyOf(PE1 PE2), then PE1 -> PE2 holds; and if Ax
contains an axiom EquivalentObjectProperties(PE1 PE2), then PE1 -> PE2
and PE2 -> PE1 hold; and if Ax contains an axiom
InverseObjectProperties(PE1 PE2), then PE1 -> INV(PE2) and INV(PE2)
-> PE1 hold; and if Ax contains an axiom SymmetricObjectProperty(PE),
then PE -> INV(PE) holds; and if PE1 -> PE2 holds, then INV(PE1)
-> INV(PE2) holds as well.
|
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getPropertyHierarchy() |
The object property hierarchy relation -> is the smallest relation on
object property expressions for which the following conditions hold (A
-> B means that -> holds for A and B): if Ax contains an axiom
SubObjectPropertyOf(PE1 PE2), then PE1 -> PE2 holds; and if Ax
contains an axiom EquivalentObjectProperties(PE1 PE2), then PE1 -> PE2
and PE2 -> PE1 hold; and if Ax contains an axiom
InverseObjectProperties(PE1 PE2), then PE1 -> INV(PE2) and INV(PE2)
-> PE1 hold; and if Ax contains an axiom SymmetricObjectProperty(PE),
then PE -> INV(PE) holds; and if PE1 -> PE2 holds, then INV(PE1)
-> INV(PE2) holds as well.
|
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getPropertyPartialOrdering() |
|
Map<OWLObjectPropertyExpression,Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getPropertyPartialOrdering() |
Modifier and Type | Method | Description |
---|---|---|
OWLObjectPropertyExpression |
ObjectPropertySimplifier.getSimplified(OWLObjectPropertyExpression prop) |
Deprecated.
Gets an object property expression in its simplest form.
|
boolean |
OWLObjectPropertyManager.isComposite(OWLObjectPropertyExpression expression) |
An object property expression PE is composite in Ax if Ax contains an
axiom of the form SubObjectPropertyOf(SubObjectPropertyChain(PE1 ...
|
boolean |
OWLObjectPropertyManager.isLessThan(OWLObjectPropertyExpression propA,
OWLObjectPropertyExpression propB) |
|
boolean |
OWLObjectPropertyManager.isNonSimple(OWLObjectPropertyExpression expression) |
The relation ->* is the reflexive-transitive closure of ->.
|
boolean |
OWLObjectPropertyManager.isSubPropertyOf(OWLObjectPropertyExpression sub,
OWLObjectPropertyExpression sup) |
Tests to see if one property is a sub property of another property in the
reflexive transitive closure of the property hierarchy.
|
static void |
OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies,
OWLObjectPropertyExpression prop,
int index,
Stack<OWLObjectPropertyExpression> stack,
Map<OWLObjectPropertyExpression,Integer> indexMap,
Map<OWLObjectPropertyExpression,Integer> lowlinkMap,
Set<Set<OWLObjectPropertyExpression>> result,
Set<OWLObjectPropertyExpression> processed,
Set<OWLObjectPropertyExpression> stackProps) |
Modifier and Type | Method | Description |
---|---|---|
static void |
OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies,
OWLObjectPropertyExpression prop,
int index,
Stack<OWLObjectPropertyExpression> stack,
Map<OWLObjectPropertyExpression,Integer> indexMap,
Map<OWLObjectPropertyExpression,Integer> lowlinkMap,
Set<Set<OWLObjectPropertyExpression>> result,
Set<OWLObjectPropertyExpression> processed,
Set<OWLObjectPropertyExpression> stackProps) |
|
static void |
OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies,
OWLObjectPropertyExpression prop,
int index,
Stack<OWLObjectPropertyExpression> stack,
Map<OWLObjectPropertyExpression,Integer> indexMap,
Map<OWLObjectPropertyExpression,Integer> lowlinkMap,
Set<Set<OWLObjectPropertyExpression>> result,
Set<OWLObjectPropertyExpression> processed,
Set<OWLObjectPropertyExpression> stackProps) |
Modifier and Type | Method | Description |
---|---|---|
List<OWLObjectPropertyExpression> |
ManchesterOWLSyntaxParser.parseObjectPropertyChain() |
|
Set<OWLObjectPropertyExpression> |
ManchesterOWLSyntaxParser.parseObjectPropertyList() |
Modifier and Type | Method | Description |
---|---|---|
OWLObjectPropertyExpression |
BuilderInverseObjectProperties.getInverse() |
|
OWLObjectPropertyExpression |
BaseObjectPropertyBuilder.getProperty() |
Modifier and Type | Method | Description |
---|---|---|
BuilderInverseObjectProperties |
BuilderInverseObjectProperties.withInverseProperty(OWLObjectPropertyExpression arg) |
|
B |
BaseObjectPropertyBuilder.withProperty(OWLObjectPropertyExpression arg) |
|
BuilderPropertyChain |
BuilderPropertyChain.withPropertyInChain(OWLObjectPropertyExpression arg) |
Modifier and Type | Method | Description |
---|---|---|
BuilderPropertyChain |
BuilderPropertyChain.withPropertiesInChain(Collection<OWLObjectPropertyExpression> arg) |
Modifier and Type | Class | Description |
---|---|---|
class |
OWLObjectInverseOfImpl |
|
class |
OWLObjectPropertyExpressionImpl |
|
class |
OWLObjectPropertyImpl |
Modifier and Type | Method | Description |
---|---|---|
OWLObjectPropertyExpression |
OWLInverseObjectPropertiesAxiomImpl.getFirstProperty() |
|
OWLObjectPropertyExpression |
OWLObjectInverseOfImpl.getInverseProperty() |
|
OWLObjectPropertyExpression |
SWRLObjectPropertyAtomImpl.getPredicate() |
|
OWLObjectPropertyExpression |
OWLObjectCardinalityRestrictionImpl.getProperty() |
|
OWLObjectPropertyExpression |
OWLObjectHasSelfImpl.getProperty() |
|
OWLObjectPropertyExpression |
OWLObjectHasValueImpl.getProperty() |
|
OWLObjectPropertyExpression |
OWLObjectPropertyCharacteristicAxiomImpl.getProperty() |
|
OWLObjectPropertyExpression |
OWLQuantifiedObjectRestrictionImpl.getProperty() |
|
OWLObjectPropertyExpression |
OWLInverseObjectPropertiesAxiomImpl.getSecondProperty() |
|
OWLObjectPropertyExpression |
OWLObjectPropertyExpressionImpl.getSimplified() |
|
OWLObjectPropertyExpression |
OWLSubPropertyChainAxiomImpl.getSuperProperty() |
Modifier and Type | Method | Description |
---|---|---|
Set<OWLObjectPropertyExpression> |
OWLHasKeyAxiomImpl.getObjectPropertyExpressions() |
|
List<OWLObjectPropertyExpression> |
OWLSubPropertyChainAxiomImpl.getPropertyChain() |
Constructor | Description |
---|---|
OWLDisjointObjectPropertiesAxiomImpl(Set<? extends OWLObjectPropertyExpression> properties,
Collection<? extends OWLAnnotation> annotations) |
|
OWLEquivalentObjectPropertiesAxiomImpl(Set<? extends OWLObjectPropertyExpression> properties,
Collection<? extends OWLAnnotation> annotations) |
|
OWLSubPropertyChainAxiomImpl(List<? extends OWLObjectPropertyExpression> propertyChain,
OWLObjectPropertyExpression superProperty,
Collection<? extends OWLAnnotation> annotations) |
Copyright © 2018 The University of Manchester. All rights reserved.