|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl uk.ac.manchester.cs.owl.owlapi.OWLPropertyExpressionImpl<R,P>
public abstract class OWLPropertyExpressionImpl<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
Constructor Summary | |
---|---|
OWLPropertyExpressionImpl(OWLDataFactory dataFactory)
|
Method Summary | |
---|---|
boolean |
equals(java.lang.Object obj)
|
java.util.Set<P> |
getDisjointProperties(OWLOntology ontology)
|
java.util.Set<P> |
getDisjointProperties(java.util.Set<OWLOntology> ontologies)
|
protected abstract java.util.Set<? extends OWLNaryPropertyAxiom<P>> |
getDisjointPropertiesAxioms(OWLOntology ontology)
|
protected abstract java.util.Set<? extends OWLPropertyDomainAxiom> |
getDomainAxioms(OWLOntology ontology)
|
java.util.Set<OWLClassExpression> |
getDomains(OWLOntology ontology)
Gets the asserted domains of this property. |
java.util.Set<OWLClassExpression> |
getDomains(java.util.Set<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the specified ontologies. |
java.util.Set<P> |
getEquivalentProperties(OWLOntology ontology)
Gets the asserted/told equivalent properties by examining the axioms in the specified ontology. |
java.util.Set<P> |
getEquivalentProperties(java.util.Set<OWLOntology> ontologies)
Gets the asserted equivalent properties by examining the axioms in the specified ontologies. |
protected abstract java.util.Set<? extends OWLNaryPropertyAxiom<P>> |
getEquivalentPropertiesAxioms(OWLOntology ontology)
|
protected abstract java.util.Set<? extends OWLPropertyRangeAxiom<P,R>> |
getRangeAxioms(OWLOntology ontology)
|
java.util.Set<R> |
getRanges(OWLOntology ontology)
Gets the ranges of this property that have been asserted in the specified ontology. |
java.util.Set<R> |
getRanges(java.util.Set<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the specified ontologies. |
java.util.Set<P> |
getSubProperties(OWLOntology ontology)
Gets the asserted/told sub properties by examining the axioms in the specified ontology. |
java.util.Set<P> |
getSubProperties(java.util.Set<OWLOntology> ontologies)
Gets the asserted sub properties by examining the axioms in the specified ontologies. |
protected abstract java.util.Set<? extends OWLSubPropertyAxiom<P>> |
getSubPropertyAxioms(OWLOntology ontology)
|
protected abstract java.util.Set<? extends OWLSubPropertyAxiom<P>> |
getSubPropertyAxiomsForRHS(OWLOntology ont)
|
java.util.Set<P> |
getSuperProperties(OWLOntology ontology)
Gets the asserted/told super properties by examining the axioms in the specified ontology. |
java.util.Set<P> |
getSuperProperties(java.util.Set<OWLOntology> ontologies)
Gets the asserted super properties by examining the axioms in the specified set of ontologies. |
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
---|
compareObjectOfSameType, compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.semanticweb.owlapi.model.OWLPropertyExpression |
---|
accept, accept, isAnonymous, isDataPropertyExpression, isFunctional, isFunctional, isObjectPropertyExpression, isOWLBottomDataProperty, isOWLBottomObjectProperty, isOWLTopDataProperty, isOWLTopObjectProperty |
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject |
---|
accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity |
Methods inherited from interface java.lang.Comparable |
---|
compareTo |
Constructor Detail |
---|
public OWLPropertyExpressionImpl(OWLDataFactory dataFactory)
Method Detail |
---|
public java.util.Set<R> getRanges(OWLOntology ontology)
OWLPropertyExpression
getRanges
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- The ontology to be searched for axioms which assert a range
for this property.
public java.util.Set<R> getRanges(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
getRanges
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- The ontologies to be examined for range axioms.
public java.util.Set<OWLClassExpression> getDomains(OWLOntology ontology)
OWLPropertyExpression
getDomains
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- The ontology that should be examined for axioms which
assert a domain of this property
OWLClassExpression
s corresponding to the
domains of this property (the domain of the property is essentially the
intersection of these class expressions).public java.util.Set<OWLClassExpression> getDomains(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
getDomains
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- The ontologies to be examined.
OWLClassExpression
s that represent the asserted
domains of this property.public java.util.Set<P> getSuperProperties(OWLOntology ontology)
OWLPropertyExpression
getSuperProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- The ontology which will be examined for subproperty axioms.
public java.util.Set<P> getSuperProperties(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
getSuperProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- The ontologies which will bne examined for axioms
public java.util.Set<P> getSubProperties(OWLOntology ontology)
OWLPropertyExpression
getSubProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- The ontology which will be examined for subproperty axioms.
public java.util.Set<P> getSubProperties(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
getSubProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- The ontologies which will be examined for subproperty axioms.
protected abstract java.util.Set<? extends OWLSubPropertyAxiom<P>> getSubPropertyAxiomsForRHS(OWLOntology ont)
public java.util.Set<P> getEquivalentProperties(OWLOntology ontology)
OWLPropertyExpression
getEquivalentProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontology
- The ontology which will be examined for equivalent properties axioms.
public java.util.Set<P> getEquivalentProperties(java.util.Set<OWLOntology> ontologies)
OWLPropertyExpression
getEquivalentProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
ontologies
- The ontologies which will be examined for equivalent properties axioms.
public java.util.Set<P> getDisjointProperties(OWLOntology ontology)
getDisjointProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
public java.util.Set<P> getDisjointProperties(java.util.Set<OWLOntology> ontologies)
getDisjointProperties
in interface OWLPropertyExpression<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>>
protected abstract java.util.Set<? extends OWLPropertyDomainAxiom> getDomainAxioms(OWLOntology ontology)
protected abstract java.util.Set<? extends OWLPropertyRangeAxiom<P,R>> getRangeAxioms(OWLOntology ontology)
protected abstract java.util.Set<? extends OWLSubPropertyAxiom<P>> getSubPropertyAxioms(OWLOntology ontology)
protected abstract java.util.Set<? extends OWLNaryPropertyAxiom<P>> getEquivalentPropertiesAxioms(OWLOntology ontology)
protected abstract java.util.Set<? extends OWLNaryPropertyAxiom<P>> getDisjointPropertiesAxioms(OWLOntology ontology)
public boolean equals(java.lang.Object obj)
equals
in class OWLObjectImpl
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |