Uses of Interface
org.semanticweb.owlapi.model.OWLObjectPropertyExpression
Packages that use OWLObjectPropertyExpression
Package
Description
Binding package.
Ontology change classes.
DL syntax parser.
Functional syntax parser and renderer.
Package structure renamed from de.uulm.ecs.ai.owlapi.krssrenderer.
Manchester OWL syntax parser and renderer.
Manchester OWL syntax parser and renderer.
Main API classes.
Axiom provider classes.
Provider interfaces.
Profile classes.
Violation classes.
RDF/XML syntax parser and renderer.
OWLReasoner package.
OWLReasoner implementation package.
Knowledge exploration package.
Structural reasoner implementation package.
Search utilities package.
Utilities package.
Builders package.
OWL API reference implementation package.
Concurrent implementation package.
-
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.apibinding
Methods in org.semanticweb.owlapi.apibinding with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionOWLFunctionalSyntaxFactory.AsymmetricObjectProperty
(OWLObjectPropertyExpression property) OWLFunctionalSyntaxFactory.AsymmetricObjectProperty
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) OWLFunctionalSyntaxFactory.DisjointObjectProperties
(Collection<OWLAnnotation> a, OWLObjectPropertyExpression... properties) OWLFunctionalSyntaxFactory.DisjointObjectProperties
(OWLObjectPropertyExpression... properties) OWLFunctionalSyntaxFactory.EquivalentObjectProperties
(Collection<OWLAnnotation> a, OWLObjectPropertyExpression... properties) OWLFunctionalSyntaxFactory.EquivalentObjectProperties
(OWLObjectPropertyExpression... properties) OWLFunctionalSyntaxFactory.FunctionalObjectProperty
(OWLObjectPropertyExpression property) OWLFunctionalSyntaxFactory.FunctionalObjectProperty
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) OWLFunctionalSyntaxFactory.InverseFunctionalObjectProperty
(OWLObjectPropertyExpression property) OWLFunctionalSyntaxFactory.InverseFunctionalObjectProperty
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) OWLFunctionalSyntaxFactory.InverseObjectProperties
(OWLObjectPropertyExpression peA, OWLObjectPropertyExpression peB) OWLFunctionalSyntaxFactory.IrreflexiveObjectProperty
(OWLObjectPropertyExpression property) OWLFunctionalSyntaxFactory.IrreflexiveObjectProperty
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) OWLFunctionalSyntaxFactory.NegativeObjectPropertyAssertion
(OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target) OWLFunctionalSyntaxFactory.NegativeObjectPropertyAssertion
(OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target, Collection<OWLAnnotation> a) static OWLObjectAllValuesFrom
OWLFunctionalSyntaxFactory.ObjectAllValuesFrom
(OWLObjectPropertyExpression pe, OWLClassExpression ce) static OWLObjectExactCardinality
OWLFunctionalSyntaxFactory.ObjectExactCardinality
(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce) static OWLObjectHasSelf
OWLFunctionalSyntaxFactory.ObjectHasSelf
(OWLObjectPropertyExpression pe) static OWLObjectHasValue
OWLFunctionalSyntaxFactory.ObjectHasValue
(OWLObjectPropertyExpression pe, OWLIndividual individual) static OWLObjectMaxCardinality
OWLFunctionalSyntaxFactory.ObjectMaxCardinality
(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce) static OWLObjectMinCardinality
OWLFunctionalSyntaxFactory.ObjectMinCardinality
(int cardinality, OWLObjectPropertyExpression pe, OWLClassExpression ce) OWLFunctionalSyntaxFactory.ObjectPropertyAssertion
(OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target) OWLFunctionalSyntaxFactory.ObjectPropertyAssertion
(OWLObjectPropertyExpression property, OWLIndividual source, OWLIndividual target, Collection<OWLAnnotation> a) static OWLObjectPropertyDomainAxiom
OWLFunctionalSyntaxFactory.ObjectPropertyDomain
(OWLObjectPropertyExpression property, OWLClassExpression domain) static OWLObjectPropertyDomainAxiom
OWLFunctionalSyntaxFactory.ObjectPropertyDomain
(OWLObjectPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> a) static OWLObjectPropertyRangeAxiom
OWLFunctionalSyntaxFactory.ObjectPropertyRange
(OWLObjectPropertyExpression property, OWLClassExpression range) static OWLObjectPropertyRangeAxiom
OWLFunctionalSyntaxFactory.ObjectPropertyRange
(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> a) static OWLObjectSomeValuesFrom
OWLFunctionalSyntaxFactory.ObjectSomeValuesFrom
(OWLObjectPropertyExpression pe, OWLClassExpression ce) OWLFunctionalSyntaxFactory.ReflexiveObjectProperty
(OWLObjectPropertyExpression property) OWLFunctionalSyntaxFactory.ReflexiveObjectProperty
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) static OWLSubObjectPropertyOfAxiom
OWLFunctionalSyntaxFactory.SubObjectPropertyOf
(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty) static OWLSubObjectPropertyOfAxiom
OWLFunctionalSyntaxFactory.SubObjectPropertyOf
(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a) static OWLSubPropertyChainOfAxiom
OWLFunctionalSyntaxFactory.SubPropertyChainOf
(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty) static OWLSubPropertyChainOfAxiom
OWLFunctionalSyntaxFactory.SubPropertyChainOf
(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a) OWLFunctionalSyntaxFactory.SymmetricObjectProperty
(OWLObjectPropertyExpression property) OWLFunctionalSyntaxFactory.SymmetricObjectProperty
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) OWLFunctionalSyntaxFactory.TransitiveObjectProperty
(OWLObjectPropertyExpression property) OWLFunctionalSyntaxFactory.TransitiveObjectProperty
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) Method parameters in org.semanticweb.owlapi.apibinding with type arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionstatic OWLSubPropertyChainOfAxiom
OWLFunctionalSyntaxFactory.SubPropertyChainOf
(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty) static OWLSubPropertyChainOfAxiom
OWLFunctionalSyntaxFactory.SubPropertyChainOf
(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> a) -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.change
Constructors in org.semanticweb.owlapi.change with parameters of type OWLObjectPropertyExpressionModifierConstructorDescriptionAddClassExpressionClosureAxiom
(OWLDataFactory dataFactory, OWLClass cls, OWLObjectPropertyExpression property, Collection<OWLOntology> ontologies, OWLOntology targetOntology) Creates a composite change that will add a closure axiom for a given class along a specified property. -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.dlsyntax.parser
Methods in org.semanticweb.owlapi.dlsyntax.parser that return OWLObjectPropertyExpression -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.functional.parser
Methods in org.semanticweb.owlapi.functional.parser that return OWLObjectPropertyExpressionModifier and TypeMethodDescriptionOWLFunctionalSyntaxParser.InverseObjectProperty()
OWLFunctionalSyntaxParser.ObjectPropertyExpression()
Methods in org.semanticweb.owlapi.functional.parser that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionfinal Set
<OWLObjectPropertyExpression> OWLFunctionalSyntaxParser.ObjectPropertySet()
final List
<OWLObjectPropertyExpression> OWLFunctionalSyntaxParser.SubObjectPropertyChain()
-
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.krss2.parser
Methods in org.semanticweb.owlapi.krss2.parser that return OWLObjectPropertyExpressionMethods in org.semanticweb.owlapi.krss2.parser that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionfinal List
<OWLObjectPropertyExpression> KRSS2Parser.propertyChain()
-
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.manchestersyntax.parser
Methods in org.semanticweb.owlapi.manchestersyntax.parser that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionManchesterOWLSyntaxParserImpl.parseObjectPropertyChain()
ManchesterOWLSyntaxParserImpl.parseObjectPropertyList()
-
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.manchestersyntax.renderer
Methods in org.semanticweb.owlapi.manchestersyntax.renderer with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionManchesterOWLSyntaxFrameRenderer.write
(OWLObjectPropertyExpression property) -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.model
Subinterfaces of OWLObjectPropertyExpression in org.semanticweb.owlapi.modelModifier and TypeInterfaceDescriptioninterface
Represents a ObjectInverseOf Represents the inverse of a property expression.interface
Represents an Object Property in the OWL 2 Specification.Methods in org.semanticweb.owlapi.model that return OWLObjectPropertyExpressionModifier and TypeMethodDescriptiondefault OWLObjectPropertyExpression
OWLPropertyExpression.asObjectPropertyExpression()
OWLInverseObjectPropertiesAxiom.getFirstProperty()
OWLObjectInverseOf.getInverse()
Gets the property expression that this is the inverse of.default OWLObjectPropertyExpression
OWLObjectInverseOf.getInverseProperty()
OWLObjectPropertyExpression.getInverseProperty()
Obtains the property that corresponds to the inverse of this property.SWRLObjectPropertyAtom.getPredicate()
OWLObjectHasSelf.getProperty()
OWLObjectRestriction.getProperty()
Gets the property/properties that the restriction acts along depending on R being a scalar or collection type.OWLInverseObjectPropertiesAxiom.getSecondProperty()
default 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 simplified form.OWLSubPropertyChainOfAxiom.getSuperProperty()
Gets the super property of this axiom.Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptiondefault Set
<OWLObjectPropertyExpression> OWLHasKeyAxiom.getObjectPropertyExpressions()
Gets the set of object property expressions that make up the key.OWLSubPropertyChainOfAxiom.getPropertyChain()
Gets the chain of properties that represents the subproperty in this axiom.default Stream
<OWLObjectPropertyExpression> OWLHasKeyAxiom.objectPropertyExpressions()
Gets the stream of object property expressions that make up the key.Methods in org.semanticweb.owlapi.model with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptiondefault Stream
<OWLAsymmetricObjectPropertyAxiom> OWLAxiomIndex.asymmetricObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLAsymmetricObjectPropertyAxiom
objects contained in this ontology that make the specified object property asymmetric.OWLAxiomCollection.axioms
(OWLObjectPropertyExpression property) Gets the axioms that form the definition/description of an object property.default Stream
<OWLObjectPropertyAxiom> OWLAxiomCollection.axioms
(OWLObjectPropertyExpression property, Imports imports) Gets the axioms that form the definition/description of an object property.default Stream
<OWLDisjointObjectPropertiesAxiom> OWLAxiomIndex.disjointObjectPropertiesAxioms
(OWLObjectPropertyExpression property) Gets theOWLDisjointObjectPropertiesAxiom
objects that make the specified property disjoint with some other object property expression(s).default Stream
<OWLEquivalentObjectPropertiesAxiom> OWLAxiomIndex.equivalentObjectPropertiesAxioms
(OWLObjectPropertyExpression property) Gets theOWLEquivalentObjectPropertiesAxiom
objects that make the specified property equivalent to some other object property expression(s).default Stream
<OWLFunctionalObjectPropertyAxiom> OWLAxiomIndex.functionalObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLFunctionalObjectPropertyAxiom
objects contained in this ontology that make the specified object property functional.default Set
<OWLAsymmetricObjectPropertyAxiom> OWLAxiomIndex.getAsymmetricObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLAsymmetricObjectPropertyAxiom
objects contained in this ontology that make the specified object property asymmetric.default Set
<OWLObjectPropertyAxiom> OWLAxiomCollection.getAxioms
(OWLObjectPropertyExpression property) Gets the axioms that form the definition/description of an object property.default Set
<OWLObjectPropertyAxiom> OWLAxiomCollection.getAxioms
(OWLObjectPropertyExpression property, Imports includeImportsClosure) Gets the axioms that form the definition/description of an object property.default Set
<OWLObjectPropertyAxiom> OWLAxiomCollectionBooleanArgs.getAxioms
(OWLObjectPropertyExpression property, boolean includeImportsClosure) Deprecated.default Set
<OWLDisjointObjectPropertiesAxiom> OWLAxiomIndex.getDisjointObjectPropertiesAxioms
(OWLObjectPropertyExpression property) Gets theOWLDisjointObjectPropertiesAxiom
objects that make the specified property disjoint with some other object property expression(s).default Set
<OWLEquivalentObjectPropertiesAxiom> OWLAxiomIndex.getEquivalentObjectPropertiesAxioms
(OWLObjectPropertyExpression property) Gets theOWLEquivalentObjectPropertiesAxiom
objects that make the specified property equivalent to some other object property expression(s).default Set
<OWLFunctionalObjectPropertyAxiom> OWLAxiomIndex.getFunctionalObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLFunctionalObjectPropertyAxiom
objects contained in this ontology that make the specified object property functional.OWLAxiomIndex.getInverseFunctionalObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLInverseFunctionalObjectPropertyAxiom
objects contained in this ontology that make the specified object property inverse functional.default Set
<OWLInverseObjectPropertiesAxiom> OWLAxiomIndex.getInverseObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLInverseObjectPropertiesAxiom
objects where the specified property is contained in the set returned byOWLNaryPropertyAxiom.properties()
.default Set
<OWLIrreflexiveObjectPropertyAxiom> OWLAxiomIndex.getIrreflexiveObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLIrreflexiveObjectPropertyAxiom
objects contained in this ontology that make the specified object property irreflexive.default Set
<OWLObjectPropertyDomainAxiom> OWLAxiomIndex.getObjectPropertyDomainAxioms
(OWLObjectPropertyExpression property) Gets theOWLObjectPropertyDomainAxiom
objects where the property is equal to the specified property.default Set
<OWLObjectPropertyRangeAxiom> OWLAxiomIndex.getObjectPropertyRangeAxioms
(OWLObjectPropertyExpression property) Gets theOWLObjectPropertyRangeAxiom
objects where the property is equal to the specified property.default Set
<OWLSubObjectPropertyOfAxiom> OWLAxiomIndex.getObjectSubPropertyAxiomsForSubProperty
(OWLObjectPropertyExpression subProperty) Gets theOWLSubObjectPropertyOfAxiom
objects where the sub-property is equal to the specified property.default Set
<OWLSubObjectPropertyOfAxiom> OWLAxiomIndex.getObjectSubPropertyAxiomsForSuperProperty
(OWLObjectPropertyExpression superProperty) Gets theOWLSubObjectPropertyOfAxiom
objects where the super-property is equal to the specified property.default Set
<OWLReflexiveObjectPropertyAxiom> OWLAxiomIndex.getReflexiveObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLReflexiveObjectPropertyAxiom
objects contained in this ontology that make the specified object property reflexive.default Set
<OWLSymmetricObjectPropertyAxiom> OWLAxiomIndex.getSymmetricObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLSymmetricObjectPropertyAxiom
objects contained in this ontology that make the specified object property symmetric.default Set
<OWLTransitiveObjectPropertyAxiom> OWLAxiomIndex.getTransitiveObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLTransitiveObjectPropertyAxiom
objects contained in this ontology that make the specified object property transitive.OWLAxiomIndex.inverseFunctionalObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLInverseFunctionalObjectPropertyAxiom
objects contained in this ontology that make the specified object property inverse functional.default Stream
<OWLInverseObjectPropertiesAxiom> OWLAxiomIndex.inverseObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLInverseObjectPropertiesAxiom
objects where the specified property is contained in the stream returned byOWLNaryPropertyAxiom.properties()
.default Stream
<OWLIrreflexiveObjectPropertyAxiom> OWLAxiomIndex.irreflexiveObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLIrreflexiveObjectPropertyAxiom
objects contained in this ontology that make the specified object property irreflexive.default Stream
<OWLObjectPropertyDomainAxiom> OWLAxiomIndex.objectPropertyDomainAxioms
(OWLObjectPropertyExpression property) Gets theOWLObjectPropertyDomainAxiom
objects where the property is equal to the specified property.default Stream
<OWLObjectPropertyRangeAxiom> OWLAxiomIndex.objectPropertyRangeAxioms
(OWLObjectPropertyExpression property) Gets theOWLObjectPropertyRangeAxiom
objects where the property is equal to the specified property.default Stream
<OWLSubObjectPropertyOfAxiom> OWLAxiomIndex.objectSubPropertyAxiomsForSubProperty
(OWLObjectPropertyExpression subProperty) Gets theOWLSubObjectPropertyOfAxiom
objects where the sub-property is equal to the specified property.default Stream
<OWLSubObjectPropertyOfAxiom> OWLAxiomIndex.objectSubPropertyAxiomsForSuperProperty
(OWLObjectPropertyExpression superProperty) Gets theOWLSubObjectPropertyOfAxiom
objects where the super-property is equal to the specified property.default Stream
<OWLReflexiveObjectPropertyAxiom> OWLAxiomIndex.reflexiveObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLReflexiveObjectPropertyAxiom
objects contained in this ontology that make the specified object property reflexive.default Stream
<OWLSymmetricObjectPropertyAxiom> OWLAxiomIndex.symmetricObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLSymmetricObjectPropertyAxiom
objects contained in this ontology that make the specified object property symmetric.default Stream
<OWLTransitiveObjectPropertyAxiom> OWLAxiomIndex.transitiveObjectPropertyAxioms
(OWLObjectPropertyExpression property) Gets theOWLTransitiveObjectPropertyAxiom
objects contained in this ontology that make the specified object property transitive. -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.model.axiomproviders
Methods in org.semanticweb.owlapi.model.axiomproviders with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptiondefault OWLAsymmetricObjectPropertyAxiom
PropertyCharacteristicAxiomProvider.getOWLAsymmetricObjectPropertyAxiom
(OWLObjectPropertyExpression propertyExpression) PropertyCharacteristicAxiomProvider.getOWLAsymmetricObjectPropertyAxiom
(OWLObjectPropertyExpression propertyExpression, Collection<OWLAnnotation> annotations) default OWLDisjointObjectPropertiesAxiom
DisjointAxiomProvider.getOWLDisjointObjectPropertiesAxiom
(OWLObjectPropertyExpression... properties) default OWLDisjointObjectPropertiesAxiom
DisjointAxiomProvider.getOWLDisjointObjectPropertiesAxiom
(OWLObjectPropertyExpression p, OWLObjectPropertyExpression q, Collection<OWLAnnotation> annotations) EquivalentAxiomProvider.getOWLEquivalentObjectPropertiesAxiom
(OWLObjectPropertyExpression... properties) EquivalentAxiomProvider.getOWLEquivalentObjectPropertiesAxiom
(OWLObjectPropertyExpression propertyA, OWLObjectPropertyExpression propertyB) EquivalentAxiomProvider.getOWLEquivalentObjectPropertiesAxiom
(OWLObjectPropertyExpression propertyA, OWLObjectPropertyExpression propertyB, Collection<OWLAnnotation> annotations) default OWLFunctionalObjectPropertyAxiom
PropertyCharacteristicAxiomProvider.getOWLFunctionalObjectPropertyAxiom
(OWLObjectPropertyExpression property) PropertyCharacteristicAxiomProvider.getOWLFunctionalObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) PropertyCharacteristicAxiomProvider.getOWLInverseFunctionalObjectPropertyAxiom
(OWLObjectPropertyExpression property) PropertyCharacteristicAxiomProvider.getOWLInverseFunctionalObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) default OWLInverseObjectPropertiesAxiom
InverseAxiomProvider.getOWLInverseObjectPropertiesAxiom
(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty) InverseAxiomProvider.getOWLInverseObjectPropertiesAxiom
(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty, Collection<OWLAnnotation> annotations) PropertyCharacteristicAxiomProvider.getOWLIrreflexiveObjectPropertyAxiom
(OWLObjectPropertyExpression property) PropertyCharacteristicAxiomProvider.getOWLIrreflexiveObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) default OWLObjectPropertyDomainAxiom
DomainAxiomProvider.getOWLObjectPropertyDomainAxiom
(OWLObjectPropertyExpression property, OWLClassExpression classExpression) DomainAxiomProvider.getOWLObjectPropertyDomainAxiom
(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Collection<OWLAnnotation> annotations) default OWLObjectPropertyRangeAxiom
RangeAxiomProvider.getOWLObjectPropertyRangeAxiom
(OWLObjectPropertyExpression property, OWLClassExpression range) RangeAxiomProvider.getOWLObjectPropertyRangeAxiom
(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> annotations) default OWLReflexiveObjectPropertyAxiom
PropertyCharacteristicAxiomProvider.getOWLReflexiveObjectPropertyAxiom
(OWLObjectPropertyExpression property) PropertyCharacteristicAxiomProvider.getOWLReflexiveObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) default OWLSubObjectPropertyOfAxiom
SubAxiomProvider.getOWLSubObjectPropertyOfAxiom
(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty) SubAxiomProvider.getOWLSubObjectPropertyOfAxiom
(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations) default OWLSubPropertyChainOfAxiom
PropertyChainAxiomProvider.getOWLSubPropertyChainOfAxiom
(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty) PropertyChainAxiomProvider.getOWLSubPropertyChainOfAxiom
(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations) default OWLSymmetricObjectPropertyAxiom
PropertyCharacteristicAxiomProvider.getOWLSymmetricObjectPropertyAxiom
(OWLObjectPropertyExpression property) PropertyCharacteristicAxiomProvider.getOWLSymmetricObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) default OWLTransitiveObjectPropertyAxiom
PropertyCharacteristicAxiomProvider.getOWLTransitiveObjectPropertyAxiom
(OWLObjectPropertyExpression property) PropertyCharacteristicAxiomProvider.getOWLTransitiveObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) Method parameters in org.semanticweb.owlapi.model.axiomproviders with type arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptiondefault OWLDisjointObjectPropertiesAxiom
DisjointAxiomProvider.getOWLDisjointObjectPropertiesAxiom
(Collection<? extends OWLObjectPropertyExpression> properties) DisjointAxiomProvider.getOWLDisjointObjectPropertiesAxiom
(Collection<? extends OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations) EquivalentAxiomProvider.getOWLEquivalentObjectPropertiesAxiom
(Collection<? extends OWLObjectPropertyExpression> properties) EquivalentAxiomProvider.getOWLEquivalentObjectPropertiesAxiom
(Collection<? extends OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations) default OWLSubPropertyChainOfAxiom
PropertyChainAxiomProvider.getOWLSubPropertyChainOfAxiom
(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty) PropertyChainAxiomProvider.getOWLSubPropertyChainOfAxiom
(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations) -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.model.providers
Methods in org.semanticweb.owlapi.model.providers with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionObjectAssertionProvider.getOWLNegativeObjectPropertyAssertionAxiom
(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object) ObjectAssertionProvider.getOWLNegativeObjectPropertyAssertionAxiom
(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object, Collection<OWLAnnotation> annotations) UniversalProvider.getOWLObjectAllValuesFrom
(OWLObjectPropertyExpression property, OWLClassExpression classExpression) CardinalityRestrictionProvider.getOWLObjectExactCardinality
(int cardinality, OWLObjectPropertyExpression property) CardinalityRestrictionProvider.getOWLObjectExactCardinality
(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression) HasSelfProvider.getOWLObjectHasSelf
(OWLObjectPropertyExpression property) HasValueProvider.getOWLObjectHasValue
(OWLObjectPropertyExpression property, OWLIndividual individual) CardinalityRestrictionProvider.getOWLObjectMaxCardinality
(int cardinality, OWLObjectPropertyExpression property) CardinalityRestrictionProvider.getOWLObjectMaxCardinality
(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression) CardinalityRestrictionProvider.getOWLObjectMinCardinality
(int cardinality, OWLObjectPropertyExpression property) CardinalityRestrictionProvider.getOWLObjectMinCardinality
(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression) default OWLObjectPropertyAssertionAxiom
ObjectAssertionProvider.getOWLObjectPropertyAssertionAxiom
(OWLObjectPropertyExpression property, OWLIndividual individual, OWLIndividual object) ObjectAssertionProvider.getOWLObjectPropertyAssertionAxiom
(OWLObjectPropertyExpression property, OWLIndividual individual, OWLIndividual object, Collection<OWLAnnotation> annotations) ExistentialProvider.getOWLObjectSomeValuesFrom
(OWLObjectPropertyExpression property, OWLClassExpression classExpression) Gets an OWLObjectSomeValuesFrom restrictionSWRLProvider.getSWRLObjectPropertyAtom
(OWLObjectPropertyExpression property, SWRLIArgument arg0, SWRLIArgument arg1) Gets a SWRL object property atom, i.e. -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.profiles
Methods in org.semanticweb.owlapi.profiles that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionOWL2ProfileReport.getNonSimpleRoles()
OWL2ProfileReport.getSimpleRoles()
-
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.profiles.violations
Methods in org.semanticweb.owlapi.profiles.violations that return OWLObjectPropertyExpressionModifier and TypeMethodDescriptionUseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom.getExpression()
UseOfNonSimplePropertyInDisjointPropertiesAxiom.getExpression()
UseOfNonSimplePropertyInFunctionalPropertyAxiom.getExpression()
UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom.getExpression()
UseOfNonSimplePropertyInIrreflexivePropertyAxiom.getExpression()
UseOfObjectPropertyInverse.getExpression()
UseOfPropertyInChainCausesCycle.getExpression()
Constructors in org.semanticweb.owlapi.profiles.violations with parameters of type OWLObjectPropertyExpressionModifierConstructorDescriptionUseOfNonSimplePropertyInDisjointPropertiesAxiom
(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression prop) UseOfObjectPropertyInverse
(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression propertyExpression) UseOfPropertyInChainCausesCycle
(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression property) -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.rdf.rdfxml.parser
Methods in org.semanticweb.owlapi.rdf.rdfxml.parser that return OWLObjectPropertyExpressionModifier and TypeMethodDescriptionOWLRDFConsumer.translateObjectPropertyExpression
(IRI mainNode) Translate object property expression. -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.reasoner
Methods in org.semanticweb.owlapi.reasoner that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptiondefault Stream
<OWLObjectPropertyExpression> OWLReasoner.bottomObjectPropertyNode()
Gets theNode
corresponding to the bottom node (containingowl:bottomObjectProperty
) in the object property hierarchy.default Stream
<OWLObjectPropertyExpression> OWLReasoner.disjointObjectProperties
(OWLObjectPropertyExpression pe) Gets the simplified object property expressions that are disjoint with the specified object property expressionpe
.default Stream
<OWLObjectPropertyExpression> OWLReasoner.equivalentObjectProperties
(OWLObjectPropertyExpression pe) Gets the stream of simplified object property expressions that are equivalent to the specified object property expression with respect to the set of reasoner axioms.OWLReasoner.getBottomObjectPropertyNode()
Gets theNode
corresponding to the bottom node (containingowl:bottomObjectProperty
) in the object property hierarchy.OWLReasoner.getDisjointObjectProperties
(OWLObjectPropertyExpression pe) Gets the simplified object property expressions that are disjoint with the specified object property expressionpe
.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.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.default NodeSet
<OWLObjectPropertyExpression> OWLReasoner.getSubObjectProperties
(OWLObjectPropertyExpression pe) 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.default NodeSet
<OWLObjectPropertyExpression> OWLReasoner.getSubObjectProperties
(OWLObjectPropertyExpression pe, InferenceDepth depth) default NodeSet
<OWLObjectPropertyExpression> OWLReasoner.getSuperObjectProperties
(OWLObjectPropertyExpression pe) 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.default NodeSet
<OWLObjectPropertyExpression> OWLReasoner.getSuperObjectProperties
(OWLObjectPropertyExpression pe, InferenceDepth depth) OWLReasoner.getTopObjectPropertyNode()
Gets theNode
corresponding to the top node (containingowl:topObjectProperty
) in the object property hierarchy.default Stream
<OWLObjectPropertyExpression> OWLReasoner.inverseObjectProperties
(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.default Stream
<OWLObjectPropertyExpression> OWLReasoner.subObjectProperties
(OWLObjectPropertyExpression pe) default Stream
<OWLObjectPropertyExpression> OWLReasoner.subObjectProperties
(OWLObjectPropertyExpression pe, boolean direct) Gets the stream 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.default Stream
<OWLObjectPropertyExpression> OWLReasoner.subObjectProperties
(OWLObjectPropertyExpression pe, InferenceDepth depth) default Stream
<OWLObjectPropertyExpression> OWLReasoner.superObjectProperties
(OWLObjectPropertyExpression pe) default Stream
<OWLObjectPropertyExpression> OWLReasoner.superObjectProperties
(OWLObjectPropertyExpression pe, boolean direct) Gets the stream 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.default Stream
<OWLObjectPropertyExpression> OWLReasoner.superObjectProperties
(OWLObjectPropertyExpression pe, InferenceDepth depth) default Stream
<OWLObjectPropertyExpression> OWLReasoner.topObjectPropertyNode()
Gets theNode
corresponding to the top node (containingowl:topObjectProperty
) in the object property hierarchy.Methods in org.semanticweb.owlapi.reasoner with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptiondefault Stream
<OWLObjectPropertyExpression> OWLReasoner.disjointObjectProperties
(OWLObjectPropertyExpression pe) Gets the simplified object property expressions that are disjoint with the specified object property expressionpe
.default Stream
<OWLObjectPropertyExpression> OWLReasoner.equivalentObjectProperties
(OWLObjectPropertyExpression pe) Gets the stream of simplified object property expressions that are equivalent to the specified object property expression with respect to the set of reasoner axioms.OWLReasoner.getDisjointObjectProperties
(OWLObjectPropertyExpression pe) Gets the simplified object property expressions that are disjoint with the specified object property expressionpe
.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.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.OWLReasoner.getObjectPropertyDomains
(OWLObjectPropertyExpression pe) 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.OWLReasoner.getObjectPropertyDomains
(OWLObjectPropertyExpression pe, InferenceDepth depth) OWLReasoner.getObjectPropertyRanges
(OWLObjectPropertyExpression pe) 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.OWLReasoner.getObjectPropertyRanges
(OWLObjectPropertyExpression pe, InferenceDepth depth) OWLReasoner.getObjectPropertyValues
(OWLNamedIndividual ind, OWLObjectPropertyExpression pe) Gets the object property values for the specified individual and object property expression.default NodeSet
<OWLObjectPropertyExpression> OWLReasoner.getSubObjectProperties
(OWLObjectPropertyExpression pe) 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.default NodeSet
<OWLObjectPropertyExpression> OWLReasoner.getSubObjectProperties
(OWLObjectPropertyExpression pe, InferenceDepth depth) default NodeSet
<OWLObjectPropertyExpression> OWLReasoner.getSuperObjectProperties
(OWLObjectPropertyExpression pe) 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.default NodeSet
<OWLObjectPropertyExpression> OWLReasoner.getSuperObjectProperties
(OWLObjectPropertyExpression pe, InferenceDepth depth) default Stream
<OWLObjectPropertyExpression> OWLReasoner.inverseObjectProperties
(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.OWLReasoner.objectPropertyDomains
(OWLObjectPropertyExpression pe) OWLReasoner.objectPropertyDomains
(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.OWLReasoner.objectPropertyDomains
(OWLObjectPropertyExpression pe, InferenceDepth depth) OWLReasoner.objectPropertyRanges
(OWLObjectPropertyExpression pe) OWLReasoner.objectPropertyRanges
(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.OWLReasoner.objectPropertyRanges
(OWLObjectPropertyExpression pe, InferenceDepth depth) default Stream
<OWLNamedIndividual> OWLReasoner.objectPropertyValues
(OWLNamedIndividual ind, OWLObjectPropertyExpression pe) Gets the object property values for the specified individual and object property expression.default Stream
<OWLObjectPropertyExpression> OWLReasoner.subObjectProperties
(OWLObjectPropertyExpression pe) default Stream
<OWLObjectPropertyExpression> OWLReasoner.subObjectProperties
(OWLObjectPropertyExpression pe, boolean direct) Gets the stream 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.default Stream
<OWLObjectPropertyExpression> OWLReasoner.subObjectProperties
(OWLObjectPropertyExpression pe, InferenceDepth depth) default Stream
<OWLObjectPropertyExpression> OWLReasoner.superObjectProperties
(OWLObjectPropertyExpression pe) default Stream
<OWLObjectPropertyExpression> OWLReasoner.superObjectProperties
(OWLObjectPropertyExpression pe, boolean direct) Gets the stream 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.default Stream
<OWLObjectPropertyExpression> OWLReasoner.superObjectProperties
(OWLObjectPropertyExpression pe, InferenceDepth depth) -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.reasoner.impl
Methods in org.semanticweb.owlapi.reasoner.impl that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionNodeFactory.getOWLObjectPropertyBottomNode()
NodeFactory.getOWLObjectPropertyNode()
NodeFactory.getOWLObjectPropertyNode
(Set<OWLObjectPropertyExpression> properties) NodeFactory.getOWLObjectPropertyNode
(OWLObjectPropertyExpression prop) NodeFactory.getOWLObjectPropertyTopNode()
Methods in org.semanticweb.owlapi.reasoner.impl with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionNodeFactory.getOWLObjectPropertyNode
(OWLObjectPropertyExpression prop) Method parameters in org.semanticweb.owlapi.reasoner.impl with type arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionNodeFactory.getOWLObjectPropertyNode
(Set<OWLObjectPropertyExpression> properties) Constructors in org.semanticweb.owlapi.reasoner.impl with parameters of type OWLObjectPropertyExpressionModifierConstructorDescriptionConstructor parameters in org.semanticweb.owlapi.reasoner.impl with type arguments of type OWLObjectPropertyExpressionModifierConstructorDescriptionOWLObjectPropertyNodeSet
(Node<OWLObjectPropertyExpression> owlObjectPropertyNode) -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.reasoner.knowledgeexploration
Methods in org.semanticweb.owlapi.reasoner.knowledgeexploration that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionNode
<? extends OWLObjectPropertyExpression> OWLKnowledgeExplorerReasoner.getObjectNeighbours
(OWLKnowledgeExplorerReasoner.RootNode node, boolean deterministicOnly) -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.reasoner.structural
Methods in org.semanticweb.owlapi.reasoner.structural that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionStructuralReasoner.getBottomObjectPropertyNode()
StructuralReasoner.getDisjointObjectProperties
(OWLObjectPropertyExpression pe) StructuralReasoner.getEquivalentObjectProperties
(OWLObjectPropertyExpression pe) StructuralReasoner.getInverseObjectProperties
(OWLObjectPropertyExpression pe) StructuralReasoner.getSubObjectProperties
(OWLObjectPropertyExpression pe, boolean direct) StructuralReasoner.getSuperObjectProperties
(OWLObjectPropertyExpression pe, boolean direct) StructuralReasoner.getTopObjectPropertyNode()
Methods in org.semanticweb.owlapi.reasoner.structural with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionStructuralReasoner.getDisjointObjectProperties
(OWLObjectPropertyExpression pe) StructuralReasoner.getEquivalentObjectProperties
(OWLObjectPropertyExpression pe) StructuralReasoner.getInverseObjectProperties
(OWLObjectPropertyExpression pe) StructuralReasoner.getObjectPropertyDomains
(OWLObjectPropertyExpression pe, boolean direct) StructuralReasoner.getObjectPropertyRanges
(OWLObjectPropertyExpression pe, boolean direct) StructuralReasoner.getObjectPropertyValues
(OWLNamedIndividual ind, OWLObjectPropertyExpression pe) StructuralReasoner.getSubObjectProperties
(OWLObjectPropertyExpression pe, boolean direct) StructuralReasoner.getSuperObjectProperties
(OWLObjectPropertyExpression pe, boolean direct) -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.search
Methods in org.semanticweb.owlapi.search that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionstatic Stream
<OWLObjectPropertyExpression> EntitySearcher.getDisjointProperties
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the object properties which have been asserted to be disjoint with e in the specified ontologies.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getDisjointProperties
(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the object properties which have been asserted to be disjoint with e in the specified ontology.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getEquivalentProperties
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the object properties which have been asserted to be equivalent with e by axioms in the specified ontologies.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getEquivalentProperties
(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the object properties which have been asserted to be equivalent with e by axioms in the specified ontology.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getInverses
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) static Stream
<OWLObjectPropertyExpression> EntitySearcher.getInverses
(OWLObjectPropertyExpression e, OWLOntology ontology) static com.google.common.collect.Multimap
<OWLObjectPropertyExpression, OWLIndividual> EntitySearcher.getNegativeObjectPropertyValues
(OWLIndividual i, Stream<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, Stream<OWLOntology> ontologies) static com.google.common.collect.Multimap
<OWLObjectPropertyExpression, OWLIndividual> EntitySearcher.getObjectPropertyValues
(OWLIndividual i, OWLOntology ontology) static Stream
<OWLObjectPropertyExpression> EntitySearcher.getSubProperties
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of e in the specified ontologies.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getSubProperties
(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of e in the specified ontology.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getSuperProperties
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the properties which are asserted to be super-properties of e in the specified ontologies.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getSuperProperties
(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the object property expressions (entities or inverses) which are asserted to be super-properties of e in the specified ontology.static Stream
<OWLObjectPropertyExpression> Searcher.inverse
(Stream<OWLInverseObjectPropertiesAxiom> axioms, OWLObjectPropertyExpression p) Retrieve inverses from a collection of inverse axioms.Methods in org.semanticweb.owlapi.search with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionstatic Stream
<OWLObjectPropertyExpression> EntitySearcher.getDisjointProperties
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the object properties which have been asserted to be disjoint with e in the specified ontologies.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getDisjointProperties
(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the object properties which have been asserted to be disjoint with e in the specified ontology.static Stream
<OWLClassExpression> EntitySearcher.getDomains
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the asserted domains of e by examining the axioms in the specified ontologies.static Stream
<OWLClassExpression> EntitySearcher.getDomains
(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the asserted domains of e.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getEquivalentProperties
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the object properties which have been asserted to be equivalent with e by axioms in the specified ontologies.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getEquivalentProperties
(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the object properties which have been asserted to be equivalent with e by axioms in the specified ontology.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getInverses
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) static Stream
<OWLObjectPropertyExpression> EntitySearcher.getInverses
(OWLObjectPropertyExpression e, OWLOntology ontology) static Stream
<OWLIndividual> EntitySearcher.getNegativeObjectPropertyValues
(OWLIndividual i, OWLObjectPropertyExpression p, Stream<OWLOntology> ontologies) static Stream
<OWLIndividual> EntitySearcher.getNegativeObjectPropertyValues
(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology) static Stream
<OWLIndividual> EntitySearcher.getObjectPropertyValues
(OWLIndividual i, OWLObjectPropertyExpression p, Stream<OWLOntology> ontologies) static Stream
<OWLIndividual> EntitySearcher.getObjectPropertyValues
(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology) static Stream
<OWLClassExpression> EntitySearcher.getRanges
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the asserted ranges of e by examining the axioms in the specified ontologies.static Stream
<OWLClassExpression> EntitySearcher.getRanges
(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the ranges of e that have been asserted in the specified ontology.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getSubProperties
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of e in the specified ontologies.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getSubProperties
(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of e in the specified ontology.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getSuperProperties
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Gets the properties which are asserted to be super-properties of e in the specified ontologies.static Stream
<OWLObjectPropertyExpression> EntitySearcher.getSuperProperties
(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the object property expressions (entities or inverses) which are asserted to be super-properties of e in the specified ontology.static boolean
EntitySearcher.hasNegativeObjectPropertyValue
(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, Stream<OWLOntology> ontologies) static boolean
EntitySearcher.hasNegativeObjectPropertyValue
(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, OWLOntology ontology) static boolean
EntitySearcher.hasNegativeObjectPropertyValues
(OWLIndividual i, OWLObjectPropertyExpression p, Stream<OWLOntology> ontologies) static boolean
EntitySearcher.hasNegativeObjectPropertyValues
(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology) static boolean
EntitySearcher.hasObjectPropertyValue
(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, Stream<OWLOntology> ontologies) static boolean
EntitySearcher.hasObjectPropertyValue
(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, OWLOntology ontology) static boolean
EntitySearcher.hasObjectPropertyValues
(OWLIndividual i, OWLObjectPropertyExpression p, Stream<OWLOntology> ontologies) static boolean
EntitySearcher.hasObjectPropertyValues
(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology) static Stream
<OWLObjectPropertyExpression> Searcher.inverse
(Stream<OWLInverseObjectPropertiesAxiom> axioms, OWLObjectPropertyExpression p) Retrieve inverses from a collection of inverse axioms.static boolean
EntitySearcher.isAsymmetric
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared asymmetric in a collection of ontologies.static boolean
EntitySearcher.isAsymmetric
(OWLObjectPropertyExpression e, OWLOntology ontology) Checks if e is declared asymmetric in the ontology.static boolean
EntitySearcher.isFunctional
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared functional in a collection of ontologies.static boolean
EntitySearcher.isFunctional
(OWLObjectPropertyExpression e, OWLOntology ontology) Checks if e is declared functional in the ontology.static boolean
EntitySearcher.isInverseFunctional
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared inverse functional in a collection of ontologies.static boolean
EntitySearcher.isInverseFunctional
(OWLObjectPropertyExpression e, OWLOntology ontology) Checks if e is declared inverse functional in the ontology.static boolean
EntitySearcher.isIrreflexive
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared irreflexive in a collection of ontologies.static boolean
EntitySearcher.isIrreflexive
(OWLObjectPropertyExpression e, OWLOntology ontology) Checks if e is declared irreflexive in the ontology.static boolean
EntitySearcher.isReflexive
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared reflexive in a collection of ontologies.static boolean
EntitySearcher.isReflexive
(OWLObjectPropertyExpression e, OWLOntology ontology) Checks if e is declared reflexive in the ontology.static boolean
EntitySearcher.isSymmetric
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared symmetric in a collection of ontologies.static boolean
EntitySearcher.isSymmetric
(OWLObjectPropertyExpression e, OWLOntology ontology) Checks if e is declared symmetric in the ontology.static boolean
EntitySearcher.isTransitive
(OWLObjectPropertyExpression e, Stream<OWLOntology> ontologies) Checks if e is declared transitive in a collection of ontologies.static boolean
EntitySearcher.isTransitive
(OWLObjectPropertyExpression e, OWLOntology ontology) Checks if e is declared transitive in the ontology.static Stream
<OWLIndividual> Searcher.negValues
(Stream<OWLNegativeObjectPropertyAssertionAxiom> axioms, OWLObjectPropertyExpression p) Retrieve objects from a collection of negative assertions.static Stream
<OWLIndividual> Searcher.values
(Stream<OWLObjectPropertyAssertionAxiom> axioms, OWLObjectPropertyExpression p) Retrieve objects from a collection of assertions. -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.util
Methods in org.semanticweb.owlapi.util that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionOWLObjectPropertyManager.getCompositeProperties()
OWLObjectPropertyManager.getEquivalentObjectProperties()
static Collection
<Set<OWLObjectPropertyExpression>> OWLObjectPropertyManager.getEquivalentObjectProperties
(Stream<OWLOntology> ontologies) OWLObjectPropertyManager.getHierarchyReflexiveTransitiveClosure()
OWLObjectPropertyManager.getHierarchyReflexiveTransitiveClosure()
OWLObjectPropertyManager.getNonSimpleProperties()
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.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.OWLObjectPropertyManager.getPropertyPartialOrdering()
OWLObjectPropertyManager.getPropertyPartialOrdering()
Methods in org.semanticweb.owlapi.util with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionboolean
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
(Stream<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Deque<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression, Integer> indexMap, Map<OWLObjectPropertyExpression, Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps) Method parameters in org.semanticweb.owlapi.util with type arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionstatic void
OWLObjectPropertyManager.tarjan
(Stream<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Deque<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression, Integer> indexMap, Map<OWLObjectPropertyExpression, Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps) static void
OWLObjectPropertyManager.tarjan
(Stream<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Deque<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression, Integer> indexMap, Map<OWLObjectPropertyExpression, Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps) static void
OWLObjectPropertyManager.tarjan
(Stream<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Deque<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression, Integer> indexMap, Map<OWLObjectPropertyExpression, Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps) -
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapi.util.mansyntax
Methods in org.semanticweb.owlapi.util.mansyntax that return types with arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionManchesterOWLSyntaxParser.parseObjectPropertyChain()
ManchesterOWLSyntaxParser.parseObjectPropertyList()
-
Uses of OWLObjectPropertyExpression in org.semanticweb.owlapitools.builders
Methods in org.semanticweb.owlapitools.builders that return OWLObjectPropertyExpressionModifier and TypeMethodDescriptionBuilderInverseObjectProperties.getInverse()
BaseObjectPropertyBuilder.getProperty()
BuilderSWRLObjectPropertyAtom.getProperty()
Methods in org.semanticweb.owlapitools.builders with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionBuilderInverseObjectProperties.withInverseProperty
(OWLObjectPropertyExpression arg) BaseObjectPropertyBuilder.withProperty
(OWLObjectPropertyExpression arg) BuilderSWRLObjectPropertyAtom.withProperty
(OWLObjectPropertyExpression arg) BuilderPropertyChain.withPropertyInChain
(OWLObjectPropertyExpression arg) Method parameters in org.semanticweb.owlapitools.builders with type arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionBuilderPropertyChain.withPropertiesInChain
(Collection<OWLObjectPropertyExpression> arg) -
Uses of OWLObjectPropertyExpression in uk.ac.manchester.cs.owl.owlapi
Classes in uk.ac.manchester.cs.owl.owlapi that implement OWLObjectPropertyExpressionMethods in uk.ac.manchester.cs.owl.owlapi that return OWLObjectPropertyExpressionModifier and TypeMethodDescriptionOWLInverseObjectPropertiesAxiomImpl.getFirstProperty()
SWRLObjectPropertyAtomImpl.getPredicate()
OWLObjectCardinalityRestrictionImpl.getProperty()
OWLObjectHasSelfImpl.getProperty()
OWLObjectHasValueImpl.getProperty()
OWLObjectPropertyCharacteristicAxiomImpl.getProperty()
OWLQuantifiedObjectRestrictionImpl.getProperty()
OWLInverseObjectPropertiesAxiomImpl.getSecondProperty()
OWLSubPropertyChainAxiomImpl.getSuperProperty()
Methods in uk.ac.manchester.cs.owl.owlapi that return types with arguments of type OWLObjectPropertyExpressionMethods in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionOWLImmutableOntologyImpl.axioms
(OWLObjectPropertyExpression property) OWLDataFactoryImpl.getOWLAsymmetricObjectPropertyAxiom
(OWLObjectPropertyExpression propertyExpression, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLFunctionalObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLInverseFunctionalObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLInverseObjectPropertiesAxiom
(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLIrreflexiveObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLNegativeObjectPropertyAssertionAxiom
(OWLObjectPropertyExpression property, OWLIndividual subject, OWLIndividual object, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLObjectAllValuesFrom
(OWLObjectPropertyExpression property, OWLClassExpression classExpression) OWLDataFactoryImpl.getOWLObjectExactCardinality
(int cardinality, OWLObjectPropertyExpression property) OWLDataFactoryImpl.getOWLObjectExactCardinality
(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression) OWLDataFactoryImpl.getOWLObjectHasSelf
(OWLObjectPropertyExpression property) OWLDataFactoryImpl.getOWLObjectHasValue
(OWLObjectPropertyExpression property, OWLIndividual individual) OWLDataFactoryImpl.getOWLObjectMaxCardinality
(int cardinality, OWLObjectPropertyExpression property) OWLDataFactoryImpl.getOWLObjectMaxCardinality
(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression) OWLDataFactoryImpl.getOWLObjectMinCardinality
(int cardinality, OWLObjectPropertyExpression property) OWLDataFactoryImpl.getOWLObjectMinCardinality
(int cardinality, OWLObjectPropertyExpression property, OWLClassExpression classExpression) OWLDataFactoryImpl.getOWLObjectPropertyAssertionAxiom
(OWLObjectPropertyExpression property, OWLIndividual individual, OWLIndividual object, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLObjectPropertyDomainAxiom
(OWLObjectPropertyExpression property, OWLClassExpression classExpression, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLObjectPropertyRangeAxiom
(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLObjectSomeValuesFrom
(OWLObjectPropertyExpression property, OWLClassExpression classExpression) OWLDataFactoryImpl.getOWLReflexiveObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLSubObjectPropertyOfAxiom
(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLSubPropertyChainOfAxiom
(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLSymmetricObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLTransitiveObjectPropertyAxiom
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getSWRLObjectPropertyAtom
(OWLObjectPropertyExpression property, SWRLIArgument arg0, SWRLIArgument arg1) Method parameters in uk.ac.manchester.cs.owl.owlapi with type arguments of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionOWLDataFactoryImpl.getOWLDisjointObjectPropertiesAxiom
(Collection<? extends OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLEquivalentObjectPropertiesAxiom
(Collection<? extends OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations) OWLDataFactoryImpl.getOWLSubPropertyChainOfAxiom
(List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations) Constructors in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLObjectPropertyExpressionModifierConstructorDescriptionOWLAsymmetricObjectPropertyAxiomImpl
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLFunctionalObjectPropertyAxiomImpl
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLInverseFunctionalObjectPropertyAxiomImpl
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLInverseObjectPropertiesAxiomImpl
(OWLObjectPropertyExpression first, OWLObjectPropertyExpression second, Collection<OWLAnnotation> annotations) OWLIrreflexiveObjectPropertyAxiomImpl
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLNegativeObjectPropertyAssertionAxiomImpl
(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object, Collection<OWLAnnotation> annotations) OWLObjectAllValuesFromImpl
(OWLObjectPropertyExpression property, OWLClassExpression filler) OWLObjectExactCardinalityImpl
(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler) OWLObjectHasValueImpl
(OWLObjectPropertyExpression property, OWLIndividual value) OWLObjectMaxCardinalityImpl
(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler) OWLObjectMinCardinalityImpl
(OWLObjectPropertyExpression property, int cardinality, OWLClassExpression filler) OWLObjectPropertyAssertionAxiomImpl
(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object, Collection<OWLAnnotation> annotations) OWLObjectPropertyCharacteristicAxiomImpl
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLObjectPropertyDomainAxiomImpl
(OWLObjectPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> annotations) OWLObjectPropertyRangeAxiomImpl
(OWLObjectPropertyExpression property, OWLClassExpression range, Collection<OWLAnnotation> annotations) OWLObjectSomeValuesFromImpl
(OWLObjectPropertyExpression property, OWLClassExpression filler) OWLQuantifiedObjectRestrictionImpl
(OWLObjectPropertyExpression property, OWLClassExpression filler) OWLReflexiveObjectPropertyAxiomImpl
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLSubObjectPropertyOfAxiomImpl
(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations) OWLSubPropertyChainAxiomImpl
(List<? extends OWLObjectPropertyExpression> propertyChain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations) OWLSymmetricObjectPropertyAxiomImpl
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) OWLTransitiveObjectPropertyAxiomImpl
(OWLObjectPropertyExpression property, Collection<OWLAnnotation> annotations) SWRLObjectPropertyAtomImpl
(OWLObjectPropertyExpression predicate, SWRLIArgument arg0, SWRLIArgument arg1) Constructor parameters in uk.ac.manchester.cs.owl.owlapi with type arguments of type OWLObjectPropertyExpressionModifierConstructorDescriptionOWLDisjointObjectPropertiesAxiomImpl
(List<OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations) OWLEquivalentObjectPropertiesAxiomImpl
(List<OWLObjectPropertyExpression> properties, Collection<OWLAnnotation> annotations) OWLSubPropertyChainAxiomImpl
(List<? extends OWLObjectPropertyExpression> propertyChain, OWLObjectPropertyExpression superProperty, Collection<OWLAnnotation> annotations) -
Uses of OWLObjectPropertyExpression in uk.ac.manchester.cs.owl.owlapi.concurrent
Methods in uk.ac.manchester.cs.owl.owlapi.concurrent with parameters of type OWLObjectPropertyExpressionModifier and TypeMethodDescriptionConcurrentOWLOntologyImpl.asymmetricObjectPropertyAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.axioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.axioms
(OWLObjectPropertyExpression property, Imports imports) ConcurrentOWLOntologyImpl.disjointObjectPropertiesAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.equivalentObjectPropertiesAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.functionalObjectPropertyAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.getAsymmetricObjectPropertyAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression, boolean b) ConcurrentOWLOntologyImpl.getAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression, Imports imports) ConcurrentOWLOntologyImpl.getDisjointObjectPropertiesAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getEquivalentObjectPropertiesAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getFunctionalObjectPropertyAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getInverseFunctionalObjectPropertyAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getInverseObjectPropertyAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getIrreflexiveObjectPropertyAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getObjectPropertyDomainAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getObjectPropertyRangeAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getObjectSubPropertyAxiomsForSubProperty
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getObjectSubPropertyAxiomsForSuperProperty
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getReflexiveObjectPropertyAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getSymmetricObjectPropertyAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.getTransitiveObjectPropertyAxioms
(OWLObjectPropertyExpression owlObjectPropertyExpression) ConcurrentOWLOntologyImpl.inverseFunctionalObjectPropertyAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.inverseObjectPropertyAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.irreflexiveObjectPropertyAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.objectPropertyDomainAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.objectPropertyRangeAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.objectSubPropertyAxiomsForSubProperty
(OWLObjectPropertyExpression subProperty) ConcurrentOWLOntologyImpl.objectSubPropertyAxiomsForSuperProperty
(OWLObjectPropertyExpression superProperty) ConcurrentOWLOntologyImpl.reflexiveObjectPropertyAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.symmetricObjectPropertyAxioms
(OWLObjectPropertyExpression property) ConcurrentOWLOntologyImpl.transitiveObjectPropertyAxioms
(OWLObjectPropertyExpression property)