de.fau.cs.www8.jadeowlcodec
Class OWLPropertyDescription

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.tool.OWLRuntimeInfo<Uri.Role>
      de.fau.cs.www8.jadeowlcodec.OWLPropertyDescription

Direct Known Subclasses:

OWLDifferentFromDescription, OWLDistinctMembersDescription, OWLSameAsDescription

public class OWLPropertyDescription
extends OWLRuntimeInfo<Uri.Role>

this has become much more simplistic than it used to be to keep reasoner work to the reasoner and only support the parsing (most notably the unstriping)

Author:

Ulf Schreiber

Constructor Summary

OWLPropertyDescription(Uri.Role uri, TBoxVersion tbv)

Method Summary

protected void	addChild(Uri.Role dUri)
protected void	addEqual(Uri.Role eUri)
protected void	addParent(Uri.Role pUri)
java.util.Set<OWLPropertyDescription>	getAllDescendantsAndEquals()
java.util.Set<OWLPropertyDescription>	getAncestorsAndEquals()
DatatypeHandler	getDatatypeHandler()
BooleanDigNodeHandling	getDomainDefinition()
int	getHighestPossibleMinCardinality()
java.util.Set<Uri.Role>	getInverse() this gets the inverse role names
java.util.Set<Uri.Role>	getParents()
BooleanDigNodeHandling	getRangeDefinition()
boolean	isDatatypeProperty()
boolean	isObjectProperty()
boolean	isTransitive()
boolean	isUnrestricted()
void	notifyPossibleMinCardinality(int card)
void	setDomainDefinition(BooleanDigNodeHandling domainResult)
void	setRangeDefinition(BooleanDigNodeHandling rangeResult)
void	setTransitive(boolean isTransitive)
java.lang.String	toString()

Methods inherited from class de.fau.cs.www8.jadeowlcodec.tool.OWLRuntimeInfo

customDigSerialization, getTBoxVersion, getUri

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

OWLPropertyDescription

public OWLPropertyDescription(Uri.Role uri,
                              TBoxVersion tbv)

Method Detail

addChild

protected void addChild(Uri.Role dUri)

addParent

protected void addParent(Uri.Role pUri)

addEqual

protected void addEqual(Uri.Role eUri)

getParents

public java.util.Set<Uri.Role> getParents()

getAncestorsAndEquals

public java.util.Set<OWLPropertyDescription> getAncestorsAndEquals()

Returns:

a set of OWLPropertyDescriptions

getAllDescendantsAndEquals

public java.util.Set<OWLPropertyDescription> getAllDescendantsAndEquals()

getDatatypeHandler

public DatatypeHandler getDatatypeHandler()

getDomainDefinition

public BooleanDigNodeHandling getDomainDefinition()

getRangeDefinition

public BooleanDigNodeHandling getRangeDefinition()

setDomainDefinition

public void setDomainDefinition(BooleanDigNodeHandling domainResult)

setRangeDefinition

public void setRangeDefinition(BooleanDigNodeHandling rangeResult)

notifyPossibleMinCardinality

public void notifyPossibleMinCardinality(int card)

getHighestPossibleMinCardinality

public int getHighestPossibleMinCardinality()

isTransitive

public boolean isTransitive()

setTransitive

public void setTransitive(boolean isTransitive)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getInverse

public java.util.Set<Uri.Role> getInverse()

this gets the inverse role names

Returns:

a Set of Uris,

isObjectProperty

public boolean isObjectProperty()

isDatatypeProperty

public boolean isDatatypeProperty()

isUnrestricted

public boolean isUnrestricted()

Returns:

true if there is nothing that could cause an inconsistency with this property (default: false) functional: false onProperty: false ancestor functional or onProperty: false but what about domain/range implications of role triples? could only return true if domain and range have no known inverse