de.fau.cs.www8.jadeowlcodec
Class OWLDifferentFromDescription

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

public class OWLDifferentFromDescription
extends OWLPropertyDescription

Constructor Summary

OWLDifferentFromDescription(TBoxVersion tbv)

Method Summary

java.lang.String	customDigSerialization(java.lang.Object value) override this in descriptions for built in owl property descriptions dig serializer will regularly serialize property if this returns null
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()
static Uri.Role	getStaticURI()
boolean	isObjectProperty()
boolean	isTransitive()

Methods inherited from class de.fau.cs.www8.jadeowlcodec.OWLPropertyDescription

addChild, addEqual, addParent, isDatatypeProperty, isUnrestricted, notifyPossibleMinCardinality, setDomainDefinition, setRangeDefinition, setTransitive, toString

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

getTBoxVersion, getUri

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLDifferentFromDescription

public OWLDifferentFromDescription(TBoxVersion tbv)

Method Detail

getAllDescendantsAndEquals

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

Overrides:

getAllDescendantsAndEquals in class OWLPropertyDescription

getAncestorsAndEquals

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

Overrides:

getAncestorsAndEquals in class OWLPropertyDescription

Returns:

a set of OWLPropertyDescriptions

getDatatypeHandler

public DatatypeHandler getDatatypeHandler()

Overrides:

getDatatypeHandler in class OWLPropertyDescription

getDomainDefinition

public BooleanDigNodeHandling getDomainDefinition()

Overrides:

getDomainDefinition in class OWLPropertyDescription

getHighestPossibleMinCardinality

public int getHighestPossibleMinCardinality()

Overrides:

getHighestPossibleMinCardinality in class OWLPropertyDescription

getParents

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

Overrides:

getParents in class OWLPropertyDescription

getRangeDefinition

public BooleanDigNodeHandling getRangeDefinition()

Overrides:

getRangeDefinition in class OWLPropertyDescription

isTransitive

public boolean isTransitive()

Overrides:

isTransitive in class OWLPropertyDescription

customDigSerialization

public java.lang.String customDigSerialization(java.lang.Object value)

Description copied from class: OWLRuntimeInfo

override this in descriptions for built in owl property descriptions dig serializer will regularly serialize property if this returns null

Overrides:

customDigSerialization in class OWLRuntimeInfo<Uri.Role>

getStaticURI

public static Uri.Role getStaticURI()

getInverse

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

Description copied from class: OWLPropertyDescription

this gets the inverse role names

Overrides:

getInverse in class OWLPropertyDescription

Returns:

a Set of Uris,

isObjectProperty

public boolean isObjectProperty()

Overrides:

isObjectProperty in class OWLPropertyDescription