Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
org.semanticweb.owl.model.OWLObjectPropertyExpression

Packages that use OWLObjectPropertyExpression
org.coode.manchesterowlsyntax   
org.coode.owl.functionalparser   
org.coode.owl.owlxmlparser   
org.coode.owl.rdfxml.parser   
org.semanticweb.owl   
org.semanticweb.owl.inference   
org.semanticweb.owl.model   
org.semanticweb.owl.profiles   
org.semanticweb.owl.util   
uk.ac.manchester.cs.owl   
uk.ac.manchester.cs.owl.dlsyntax.parser   
uk.ac.manchester.cs.owl.inference.dig11   
 

Uses of OWLObjectPropertyExpression in org.coode.manchesterowlsyntax
 

Methods in org.coode.manchesterowlsyntax that return OWLObjectPropertyExpression
 OWLObjectPropertyExpression ManchesterOWLSyntaxEditorParser.parseObjectPropertyExpression()
           
 OWLObjectPropertyExpression ManchesterOWLSyntaxEditorParser.parseObjectPropertyExpression(boolean allowUndeclared)
           
 

Methods in org.coode.manchesterowlsyntax that return types with arguments of type OWLObjectPropertyExpression
 java.util.List<OWLObjectPropertyExpression> ManchesterOWLSyntaxEditorParser.parseObjectPropertyChain()
           
 java.util.Set<OWLObjectPropertyExpression> ManchesterOWLSyntaxEditorParser.parseObjectPropertyList()
           
 

Methods in org.coode.manchesterowlsyntax with parameters of type OWLObjectPropertyExpression
 java.util.Set<OWLAxiom> ManchesterOWLSyntaxEditorParser.parseObjectPropertyCharacteristicList(OWLObjectPropertyExpression prop)
           
 

Uses of OWLObjectPropertyExpression in org.coode.owl.functionalparser
 

Methods in org.coode.owl.functionalparser that return OWLObjectPropertyExpression
 OWLObjectPropertyExpression OWLFunctionalSyntaxParser.InverseObjectProperty()
           
 OWLObjectPropertyExpression OWLFunctionalSyntaxParser.ObjectPropertyExpression()
           
 

Methods in org.coode.owl.functionalparser that return types with arguments of type OWLObjectPropertyExpression
 java.util.Set<OWLObjectPropertyExpression> OWLFunctionalSyntaxParser.ObjectPropertySet()
           
 java.util.List<OWLObjectPropertyExpression> OWLFunctionalSyntaxParser.SubObjectPropertyChain()
           
 

Uses of OWLObjectPropertyExpression in org.coode.owl.owlxmlparser
 

Methods in org.coode.owl.owlxmlparser that return OWLObjectPropertyExpression
 OWLObjectPropertyExpression AbstractOWLObjectPropertyElementHandler.getOWLObject()
           
 

Methods in org.coode.owl.owlxmlparser that return types with arguments of type OWLObjectPropertyExpression
 java.util.List<OWLObjectPropertyExpression> OWLSubObjectPropertyChainElementHandler.getOWLObject()
           
 

Uses of OWLObjectPropertyExpression in org.coode.owl.rdfxml.parser
 

Methods in org.coode.owl.rdfxml.parser that return OWLObjectPropertyExpression
 OWLObjectPropertyExpression OWLObjectPropertyExpressionListItemTranslator.translate(OWLConstant firstObject)
           
 OWLObjectPropertyExpression ObjectPropertyListItemTranslator.translate(OWLConstant firstObject)
           
 OWLObjectPropertyExpression OWLObjectPropertyExpressionListItemTranslator.translate(java.net.URI uri)
           
 OWLObjectPropertyExpression ObjectPropertyListItemTranslator.translate(java.net.URI firstObject)
          The rdf:first triple that represents the item to be translated.
 OWLObjectPropertyExpression OWLRDFConsumer.translateObjectPropertyExpression(java.net.URI mainNode)
           
 

Methods in org.coode.owl.rdfxml.parser that return types with arguments of type OWLObjectPropertyExpression
 java.util.List<OWLObjectPropertyExpression> OWLRDFConsumer.translateToObjectPropertyList(java.net.URI mainNode)
           
 

Uses of OWLObjectPropertyExpression in org.semanticweb.owl
 

Constructors in org.semanticweb.owl with parameters of type OWLObjectPropertyExpression
AddClassDescriptionClosureAxiom(OWLDataFactory dataFactory, OWLClass cls, OWLObjectPropertyExpression property, java.util.Set<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.owl.inference
 

Methods in org.semanticweb.owl.inference with parameters of type OWLObjectPropertyExpression
 java.util.Set<OWLIndividual> OWLIndividualReasoner.getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression property)
           
 java.util.Set<OWLIndividual> NullReasoner.getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression property)
           
 boolean OWLIndividualReasoner.hasObjectPropertyRelationship(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
 boolean NullReasoner.hasObjectPropertyRelationship(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
 

Uses of OWLObjectPropertyExpression in org.semanticweb.owl.model
 

Subinterfaces of OWLObjectPropertyExpression in org.semanticweb.owl.model
 interface OWLObjectProperty
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
 interface OWLObjectPropertyInverse
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents the inverse of a property expression.
 

Methods in org.semanticweb.owl.model that return OWLObjectPropertyExpression
 OWLObjectPropertyExpression OWLInverseObjectPropertiesAxiom.getFirstProperty()
          Gets the first of the two object properties.
 OWLObjectPropertyExpression OWLObjectPropertyInverse.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 OWLInverseObjectPropertiesAxiom.getSecondProperty()
          Gets the second of the two object properties.
 OWLObjectPropertyExpression OWLObjectPropertyExpression.getSimplified()
          Returns this property in its simplified form.
 OWLObjectPropertyExpression OWLObjectPropertyChainSubPropertyAxiom.getSuperProperty()
           
 

Methods in org.semanticweb.owl.model that return types with arguments of type OWLObjectPropertyExpression
 java.util.Set<OWLObjectPropertyExpression> OWLObjectPropertyExpression.getInverses(OWLOntology ontology)
           
 java.util.Set<OWLObjectPropertyExpression> OWLObjectPropertyExpression.getInverses(java.util.Set<OWLOntology> ontologies)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> OWLIndividual.getNegativeObjectPropertyValues(OWLOntology ontology)
          Gets the object property values that are explicitly asserted NOT to hold for this individual
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> OWLIndividual.getObjectPropertyValues(OWLOntology ontology)
          Gets the object property values for this individual.
 java.util.List<OWLObjectPropertyExpression> OWLObjectPropertyChainSubPropertyAxiom.getPropertyChain()
           
 

Methods in org.semanticweb.owl.model with parameters of type OWLObjectPropertyExpression
 OWLAntiSymmetricObjectPropertyAxiom OWLOntology.getAntiSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
          Deprecated. use getAsymmetricObjectPropertyAxiom instead.
 OWLAntiSymmetricObjectPropertyAxiom OWLOntology.getAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
          Gets the axiom that states that this property is asymmetric.
 java.util.Set<OWLObjectPropertyAxiom> OWLOntology.getAxioms(OWLObjectPropertyExpression prop)
          Gets the axioms that form the definition/description of an object property.
 java.util.Set<OWLDisjointObjectPropertiesAxiom> OWLOntology.getDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLEquivalentObjectPropertiesAxiom> OWLOntology.getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
           
 OWLFunctionalObjectPropertyAxiom OWLOntology.getFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLInverseFunctionalObjectPropertyAxiom OWLOntology.getInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLInverseObjectPropertiesAxiom> OWLOntology.getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
           
 OWLIrreflexiveObjectPropertyAxiom OWLOntology.getIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLObjectPropertyDomainAxiom> OWLOntology.getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLObjectPropertyRangeAxiom> OWLOntology.getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLObjectSubPropertyAxiom> OWLOntology.getObjectSubPropertyAxiomsForLHS(OWLObjectPropertyExpression property)
          Gets the object property sub property axioms where the specified property is on the left hand side of the axiom.
 java.util.Set<OWLObjectSubPropertyAxiom> OWLOntology.getObjectSubPropertyAxiomsForRHS(OWLObjectPropertyExpression property)
           
 OWLAntiSymmetricObjectPropertyAxiom OWLDataFactory.getOWLAntiSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLDisjointObjectPropertiesAxiom OWLDataFactory.getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
           
 OWLEquivalentObjectPropertiesAxiom OWLDataFactory.getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
           
 OWLFunctionalObjectPropertyAxiom OWLDataFactory.getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLInverseFunctionalObjectPropertyAxiom OWLDataFactory.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLInverseObjectPropertiesAxiom OWLDataFactory.getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty)
           
 OWLIrreflexiveObjectPropertyAxiom OWLDataFactory.getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLNegativeObjectPropertyAssertionAxiom OWLDataFactory.getOWLNegativeObjectPropertyAssertionAxiom(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
 OWLObjectAllRestriction OWLDataFactory.getOWLObjectAllRestriction(OWLObjectPropertyExpression property, OWLDescription description)
           
 OWLObjectExactCardinalityRestriction OWLDataFactory.getOWLObjectExactCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality)
           
 OWLObjectExactCardinalityRestriction OWLDataFactory.getOWLObjectExactCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
           
 OWLObjectMaxCardinalityRestriction OWLDataFactory.getOWLObjectMaxCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality)
           
 OWLObjectMaxCardinalityRestriction OWLDataFactory.getOWLObjectMaxCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
           
 OWLObjectMinCardinalityRestriction OWLDataFactory.getOWLObjectMinCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality)
           
 OWLObjectMinCardinalityRestriction OWLDataFactory.getOWLObjectMinCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
           
 OWLObjectPropertyAssertionAxiom OWLDataFactory.getOWLObjectPropertyAssertionAxiom(OWLIndividual individual, OWLObjectPropertyExpression property, OWLIndividual object)
           
 OWLObjectPropertyChainSubPropertyAxiom OWLDataFactory.getOWLObjectPropertyChainSubPropertyAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty)
           
 OWLObjectPropertyDomainAxiom OWLDataFactory.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLDescription description)
           
 OWLObjectPropertyInverse OWLDataFactory.getOWLObjectPropertyInverse(OWLObjectPropertyExpression property)
           
 OWLObjectPropertyRangeAxiom OWLDataFactory.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLDescription range)
           
 OWLObjectSelfRestriction OWLDataFactory.getOWLObjectSelfRestriction(OWLObjectPropertyExpression property)
           
 OWLObjectSomeRestriction OWLDataFactory.getOWLObjectSomeRestriction(OWLObjectPropertyExpression property, OWLDescription description)
           
 OWLObjectValueRestriction OWLDataFactory.getOWLObjectValueRestriction(OWLObjectPropertyExpression property, OWLIndividual individual)
           
 OWLReflexiveObjectPropertyAxiom OWLDataFactory.getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLObjectSubPropertyAxiom OWLDataFactory.getOWLSubObjectPropertyAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty)
           
 OWLSymmetricObjectPropertyAxiom OWLDataFactory.getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLTransitiveObjectPropertyAxiom OWLDataFactory.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLReflexiveObjectPropertyAxiom OWLOntology.getReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 SWRLObjectPropertyAtom SWRLDataFactory.getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property, SWRLAtomIObject arg0, SWRLAtomIObject arg1)
          Gets a SWRL object property atom, i.e.
 OWLSymmetricObjectPropertyAxiom OWLOntology.getSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLTransitiveObjectPropertyAxiom OWLOntology.getTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 

Method parameters in org.semanticweb.owl.model with type arguments of type OWLObjectPropertyExpression
 OWLDisjointObjectPropertiesAxiom OWLDataFactory.getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
           
 OWLEquivalentObjectPropertiesAxiom OWLDataFactory.getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
           
 OWLObjectPropertyChainSubPropertyAxiom OWLDataFactory.getOWLObjectPropertyChainSubPropertyAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty)
           
 

Uses of OWLObjectPropertyExpression in org.semanticweb.owl.profiles
 

Methods in org.semanticweb.owl.profiles that return types with arguments of type OWLObjectPropertyExpression
 java.util.Set<OWLObjectPropertyExpression> OWL2ProfileReport.getNonSimpleRoles()
           
 java.util.Set<OWLObjectPropertyExpression> OWL2Profile.NonSimplePropertyInDisjointPropertiesAxiom.getProperties()
           
 java.util.Set<OWLObjectPropertyExpression> OWL2ProfileReport.getSimpleRoles()
           
 

Constructor parameters in org.semanticweb.owl.profiles with type arguments of type OWLObjectPropertyExpression
OWL2Profile.NonSimplePropertyInDisjointPropertiesAxiom(OWLAxiom construct, java.util.Set<OWLObjectPropertyExpression> properties)
           
OWL2ProfileReport(OWLProfile profile, java.net.URI ontologyURI, java.util.Set<ConstructNotAllowed> disallowedConstructs, java.util.Set<OWLObjectPropertyExpression> nonSimpleRoles, java.util.Set<OWLObjectPropertyExpression> simpleRoles)
           
OWL2ProfileReport(OWLProfile profile, java.net.URI ontologyURI, java.util.Set<ConstructNotAllowed> disallowedConstructs, java.util.Set<OWLObjectPropertyExpression> nonSimpleRoles, java.util.Set<OWLObjectPropertyExpression> simpleRoles)
           
 

Uses of OWLObjectPropertyExpression in org.semanticweb.owl.util
 

Methods in org.semanticweb.owl.util that return OWLObjectPropertyExpression
 OWLObjectPropertyExpression ObjectPropertySimplifier.getSimplified(OWLObjectPropertyExpression prop)
          Gets an object property expression in its simplest form.
 

Methods in org.semanticweb.owl.util that return types with arguments of type OWLObjectPropertyExpression
 java.util.Set<OWLObjectPropertyExpression> OWLObjectPropertyManager.getCompositeProperties()
           
 java.util.Collection<java.util.Set<OWLObjectPropertyExpression>> OWLObjectPropertyManager.getEquivalentObjectProperties()
           
static java.util.Collection<java.util.Set<OWLObjectPropertyExpression>> OWLObjectPropertyManager.getEquivalentObjectProperties(java.util.Set<OWLOntology> ontologies)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyExpression>> OWLObjectPropertyManager.getHierarchyReflexiveTransitiveClosure()
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLObjectPropertyExpression>> OWLObjectPropertyManager.getHierarchyReflexiveTransitiveClosure()
           
 java.util.Set<OWLObjectPropertyExpression> OWLObjectPropertyManager.getNonSimpleProperties()
           
 java.util.Map<OWLObjectPropertyExpression,java.util.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.
 java.util.Map<OWLObjectPropertyExpression,java.util.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.
 

Methods in org.semanticweb.owl.util with parameters of type OWLObjectPropertyExpression
 boolean OWLReasonerMediator.checkDefined(OWLObjectPropertyExpression prop)
           
 java.util.Set<OWLIndividual> OWLReasonerMediator.getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression property)
           
 OWLObjectPropertyExpression ObjectPropertySimplifier.getSimplified(OWLObjectPropertyExpression prop)
          Gets an object property expression in its simplest form.
 boolean OWLReasonerMediator.hasObjectPropertyRelationship(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
 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.isNonSimple(OWLObjectPropertyExpression expression)
          The relation →* is the reflexive-transitive closure of →.
static void OWLObjectPropertyManager.tarjan(java.util.Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, java.util.Stack<OWLObjectPropertyExpression> stack, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> indexMap, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> lowlinkMap, java.util.Set<java.util.Set<OWLObjectPropertyExpression>> result, java.util.Set<OWLObjectPropertyExpression> processed, java.util.Set<OWLObjectPropertyExpression> stackProps)
           
 

Method parameters in org.semanticweb.owl.util with type arguments of type OWLObjectPropertyExpression
static void OWLObjectPropertyManager.tarjan(java.util.Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, java.util.Stack<OWLObjectPropertyExpression> stack, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> indexMap, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> lowlinkMap, java.util.Set<java.util.Set<OWLObjectPropertyExpression>> result, java.util.Set<OWLObjectPropertyExpression> processed, java.util.Set<OWLObjectPropertyExpression> stackProps)
           
static void OWLObjectPropertyManager.tarjan(java.util.Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, java.util.Stack<OWLObjectPropertyExpression> stack, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> indexMap, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> lowlinkMap, java.util.Set<java.util.Set<OWLObjectPropertyExpression>> result, java.util.Set<OWLObjectPropertyExpression> processed, java.util.Set<OWLObjectPropertyExpression> stackProps)
           
static void OWLObjectPropertyManager.tarjan(java.util.Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, java.util.Stack<OWLObjectPropertyExpression> stack, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> indexMap, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> lowlinkMap, java.util.Set<java.util.Set<OWLObjectPropertyExpression>> result, java.util.Set<OWLObjectPropertyExpression> processed, java.util.Set<OWLObjectPropertyExpression> stackProps)
           
static void OWLObjectPropertyManager.tarjan(java.util.Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, java.util.Stack<OWLObjectPropertyExpression> stack, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> indexMap, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> lowlinkMap, java.util.Set<java.util.Set<OWLObjectPropertyExpression>> result, java.util.Set<OWLObjectPropertyExpression> processed, java.util.Set<OWLObjectPropertyExpression> stackProps)
           
static void OWLObjectPropertyManager.tarjan(java.util.Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, java.util.Stack<OWLObjectPropertyExpression> stack, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> indexMap, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> lowlinkMap, java.util.Set<java.util.Set<OWLObjectPropertyExpression>> result, java.util.Set<OWLObjectPropertyExpression> processed, java.util.Set<OWLObjectPropertyExpression> stackProps)
           
static void OWLObjectPropertyManager.tarjan(java.util.Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, java.util.Stack<OWLObjectPropertyExpression> stack, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> indexMap, java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> lowlinkMap, java.util.Set<java.util.Set<OWLObjectPropertyExpression>> result, java.util.Set<OWLObjectPropertyExpression> processed, java.util.Set<OWLObjectPropertyExpression> stackProps)
           
 

Uses of OWLObjectPropertyExpression in uk.ac.manchester.cs.owl
 

Classes in uk.ac.manchester.cs.owl that implement OWLObjectPropertyExpression
 class OWLObjectPropertyExpressionImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLObjectPropertyImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 class OWLObjectPropertyInverseImpl
          Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
 

Methods in uk.ac.manchester.cs.owl that return OWLObjectPropertyExpression
 OWLObjectPropertyExpression OWLInverseObjectPropertiesAxiomImpl.getFirstProperty()
           
 OWLObjectPropertyExpression OWLObjectPropertyInverseImpl.getInverse()
           
 OWLObjectPropertyExpression OWLObjectPropertyExpressionImpl.getInverseProperty()
           
 OWLObjectPropertyExpression OWLObjectPropertyCharacteristicAxiomImpl.getProperty()
           
 OWLObjectPropertyExpression OWLInverseObjectPropertiesAxiomImpl.getSecondProperty()
           
 OWLObjectPropertyExpression OWLObjectPropertyExpressionImpl.getSimplified()
           
 OWLObjectPropertyExpression OWLObjectPropertyChainSubPropertyAxiomImpl.getSuperProperty()
           
 

Methods in uk.ac.manchester.cs.owl that return types with arguments of type OWLObjectPropertyExpression
 java.util.Set<OWLObjectPropertyExpression> OWLObjectPropertyExpressionImpl.getInverses(OWLOntology ontology)
           
 java.util.Set<OWLObjectPropertyExpression> OWLObjectPropertyExpressionImpl.getInverses(java.util.Set<OWLOntology> ontologies)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> OWLIndividualImpl.getNegativeObjectPropertyValues(OWLOntology ontology)
           
 java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> OWLIndividualImpl.getObjectPropertyValues(OWLOntology ontology)
           
 java.util.List<OWLObjectPropertyExpression> OWLObjectPropertyChainSubPropertyAxiomImpl.getPropertyChain()
           
 

Methods in uk.ac.manchester.cs.owl with parameters of type OWLObjectPropertyExpression
 OWLAntiSymmetricObjectPropertyAxiom OWLOntologyImpl.getAntiSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLAntiSymmetricObjectPropertyAxiom OWLOntologyImpl.getAsymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLObjectPropertyAxiom> OWLOntologyImpl.getAxioms(OWLObjectPropertyExpression prop)
           
 java.util.Set<OWLDisjointObjectPropertiesAxiom> OWLOntologyImpl.getDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLEquivalentObjectPropertiesAxiom> OWLOntologyImpl.getEquivalentObjectPropertiesAxioms(OWLObjectPropertyExpression property)
           
 OWLFunctionalObjectPropertyAxiom OWLOntologyImpl.getFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLInverseFunctionalObjectPropertyAxiom OWLOntologyImpl.getInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLInverseObjectPropertiesAxiom> OWLOntologyImpl.getInverseObjectPropertyAxioms(OWLObjectPropertyExpression property)
           
 OWLIrreflexiveObjectPropertyAxiom OWLOntologyImpl.getIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLObjectPropertyDomainAxiom> OWLOntologyImpl.getObjectPropertyDomainAxioms(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLObjectPropertyRangeAxiom> OWLOntologyImpl.getObjectPropertyRangeAxioms(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLObjectSubPropertyAxiom> OWLOntologyImpl.getObjectSubPropertyAxiomsForLHS(OWLObjectPropertyExpression property)
           
 java.util.Set<OWLObjectSubPropertyAxiom> OWLOntologyImpl.getObjectSubPropertyAxiomsForRHS(OWLObjectPropertyExpression property)
           
 OWLAntiSymmetricObjectPropertyAxiom OWLDataFactoryImpl.getOWLAntiSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLDisjointObjectPropertiesAxiom OWLDataFactoryImpl.getOWLDisjointObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
           
 OWLEquivalentObjectPropertiesAxiom OWLDataFactoryImpl.getOWLEquivalentObjectPropertiesAxiom(OWLObjectPropertyExpression... properties)
           
 OWLFunctionalObjectPropertyAxiom OWLDataFactoryImpl.getOWLFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLInverseFunctionalObjectPropertyAxiom OWLDataFactoryImpl.getOWLInverseFunctionalObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLInverseObjectPropertiesAxiom OWLDataFactoryImpl.getOWLInverseObjectPropertiesAxiom(OWLObjectPropertyExpression forwardProperty, OWLObjectPropertyExpression inverseProperty)
           
 OWLIrreflexiveObjectPropertyAxiom OWLDataFactoryImpl.getOWLIrreflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLNegativeObjectPropertyAssertionAxiom OWLDataFactoryImpl.getOWLNegativeObjectPropertyAssertionAxiom(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
 OWLObjectAllRestriction OWLDataFactoryImpl.getOWLObjectAllRestriction(OWLObjectPropertyExpression property, OWLDescription description)
           
 OWLObjectExactCardinalityRestriction OWLDataFactoryImpl.getOWLObjectExactCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality)
           
 OWLObjectExactCardinalityRestriction OWLDataFactoryImpl.getOWLObjectExactCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
           
 OWLObjectMaxCardinalityRestriction OWLDataFactoryImpl.getOWLObjectMaxCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality)
           
 OWLObjectMaxCardinalityRestriction OWLDataFactoryImpl.getOWLObjectMaxCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
           
 OWLObjectMinCardinalityRestriction OWLDataFactoryImpl.getOWLObjectMinCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality)
           
 OWLObjectMinCardinalityRestriction OWLDataFactoryImpl.getOWLObjectMinCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
           
 OWLObjectPropertyAssertionAxiom OWLDataFactoryImpl.getOWLObjectPropertyAssertionAxiom(OWLIndividual individual, OWLObjectPropertyExpression property, OWLIndividual object)
           
 OWLObjectPropertyChainSubPropertyAxiom OWLDataFactoryImpl.getOWLObjectPropertyChainSubPropertyAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty)
           
 OWLObjectPropertyDomainAxiom OWLDataFactoryImpl.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLDescription description)
           
 OWLObjectPropertyInverse OWLDataFactoryImpl.getOWLObjectPropertyInverse(OWLObjectPropertyExpression property)
           
 OWLObjectPropertyRangeAxiom OWLDataFactoryImpl.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLDescription range)
           
 OWLObjectSelfRestriction OWLDataFactoryImpl.getOWLObjectSelfRestriction(OWLObjectPropertyExpression property)
           
 OWLObjectSomeRestriction OWLDataFactoryImpl.getOWLObjectSomeRestriction(OWLObjectPropertyExpression property, OWLDescription description)
           
 OWLObjectValueRestriction OWLDataFactoryImpl.getOWLObjectValueRestriction(OWLObjectPropertyExpression property, OWLIndividual individual)
           
 OWLReflexiveObjectPropertyAxiom OWLDataFactoryImpl.getOWLReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLObjectSubPropertyAxiom OWLDataFactoryImpl.getOWLSubObjectPropertyAxiom(OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty)
           
 OWLSymmetricObjectPropertyAxiom OWLDataFactoryImpl.getOWLSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLTransitiveObjectPropertyAxiom OWLDataFactoryImpl.getOWLTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLReflexiveObjectPropertyAxiom OWLOntologyImpl.getReflexiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 SWRLObjectPropertyAtom OWLDataFactoryImpl.getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property, SWRLAtomIObject arg0, SWRLAtomIObject arg1)
          Gets a SWRL object property atom, i.e.
 OWLSymmetricObjectPropertyAxiom OWLOntologyImpl.getSymmetricObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 OWLTransitiveObjectPropertyAxiom OWLOntologyImpl.getTransitiveObjectPropertyAxiom(OWLObjectPropertyExpression property)
           
 

Method parameters in uk.ac.manchester.cs.owl with type arguments of type OWLObjectPropertyExpression
 OWLDisjointObjectPropertiesAxiom OWLDataFactoryImpl.getOWLDisjointObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
           
 OWLEquivalentObjectPropertiesAxiom OWLDataFactoryImpl.getOWLEquivalentObjectPropertiesAxiom(java.util.Set<? extends OWLObjectPropertyExpression> properties)
           
 OWLObjectPropertyChainSubPropertyAxiom OWLDataFactoryImpl.getOWLObjectPropertyChainSubPropertyAxiom(java.util.List<? extends OWLObjectPropertyExpression> chain, OWLObjectPropertyExpression superProperty)
           
 

Constructors in uk.ac.manchester.cs.owl with parameters of type OWLObjectPropertyExpression
OWLAntiSymmetricObjectPropertyAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property)
           
OWLFunctionalObjectPropertyAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property)
           
OWLInverseFunctionalObjectPropertyAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property)
           
OWLInverseObjectPropertiesAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression first, OWLObjectPropertyExpression second)
           
OWLIrreflexiveObjectPropertyAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property)
           
OWLNegativeObjectPropertyAssertionAxiomImpl(OWLDataFactory dataFactory, OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
OWLObjectAllRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, OWLDescription filler)
           
OWLObjectExactCardinalityRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, int cardinality, OWLDescription filler)
           
OWLObjectMaxCardinalityRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, int cardinality, OWLDescription filler)
           
OWLObjectMinCardinalityRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, int cardinality, OWLDescription filler)
           
OWLObjectPropertyAssertionAxiomImpl(OWLDataFactory dataFactory, OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
OWLObjectPropertyChainSubPropertyAxiomImpl(OWLDataFactory dataFactory, java.util.List<? extends OWLObjectPropertyExpression> propertyChain, OWLObjectPropertyExpression superProperty)
           
OWLObjectPropertyCharacteristicAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property)
           
OWLObjectPropertyDomainAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, OWLDescription domain)
           
OWLObjectPropertyInverseImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression inverseProperty)
           
OWLObjectPropertyRangeAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, OWLDescription range)
           
OWLObjectSelfRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property)
           
OWLObjectSomeRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, OWLDescription filler)
           
OWLObjectSubPropertyAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression subProperty, OWLObjectPropertyExpression superProperty)
           
OWLObjectValueRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, OWLIndividual value)
           
OWLReflexiveObjectPropertyAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property)
           
OWLSymmetricObjectPropertyAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property)
           
OWLTransitiveObjectPropertyAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property)
           
SWRLObjectPropertyAtomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression predicate, SWRLAtomIObject arg0, SWRLAtomIObject arg1)
           
 

Constructor parameters in uk.ac.manchester.cs.owl with type arguments of type OWLObjectPropertyExpression
OWLDisjointObjectPropertiesAxiomImpl(OWLDataFactory dataFactory, java.util.Set<? extends OWLObjectPropertyExpression> properties)
           
OWLEquivalentObjectPropertiesAxiomImpl(OWLDataFactory dataFactory, java.util.Set<? extends OWLObjectPropertyExpression> properties)
           
OWLObjectPropertyChainSubPropertyAxiomImpl(OWLDataFactory dataFactory, java.util.List<? extends OWLObjectPropertyExpression> propertyChain, OWLObjectPropertyExpression superProperty)
           
 

Uses of OWLObjectPropertyExpression in uk.ac.manchester.cs.owl.dlsyntax.parser
 

Methods in uk.ac.manchester.cs.owl.dlsyntax.parser that return OWLObjectPropertyExpression
 OWLObjectPropertyExpression DLSyntaxParser.parseObjectPropertyId()
           
 

Uses of OWLObjectPropertyExpression in uk.ac.manchester.cs.owl.inference.dig11
 

Methods in uk.ac.manchester.cs.owl.inference.dig11 with parameters of type OWLObjectPropertyExpression
 java.util.Set<OWLIndividual> DIGReasoner.getRelatedIndividuals(OWLIndividual subject, OWLObjectPropertyExpression property)
           
 boolean DIGReasoner.hasObjectPropertyRelationship(OWLIndividual subject, OWLObjectPropertyExpression property, OWLIndividual object)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES