de.fau.cs.www8.jadeowlcodec
Class OWLThingDescription

java.lang.Object
  de.fau.cs.www8.jadeowlcodec.tool.OWLRuntimeInfo<Uri.Concept>
      de.fau.cs.www8.jadeowlcodec.OWLClassDescription
          de.fau.cs.www8.jadeowlcodec.OWLThingDescription

public class OWLThingDescription
extends OWLClassDescription

Constructor Summary

OWLThingDescription(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<Uri.Concept>	getAllClasses()
java.util.Set<Uri.Role>	getAllProperties()
java.util.Set<Uri.Concept>	getAncestors()
java.util.Set<Uri.Role>	getDefinitiveProperties()
java.lang.Integer	getMaxCardinalityFor(OWLPropertyDescription propd) this is unbuffered because it is only needed in WrapperGenerator (and one asetupdater, but they are not considered "core")
static Uri.Concept	getStaticURI()

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

getMaxCardinalityFor, putMaxCardinality, 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

OWLThingDescription

public OWLThingDescription(TBoxVersion tbv)

Method Detail

getAllClasses

public java.util.Set<Uri.Concept> getAllClasses()

Overrides:

getAllClasses in class OWLClassDescription

Returns:

parents and synonyms, including self

getAllProperties

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

Overrides:

getAllProperties in class OWLClassDescription

Returns:

returns all possible properties an instance of this class might have, including those whose existence depends on additional class memberships

getAncestors

public java.util.Set<Uri.Concept> getAncestors()

Overrides:

getAncestors in class OWLClassDescription

Returns:

parents and synonyms, but not the class itself

getDefinitiveProperties

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

Overrides:

getDefinitiveProperties in class OWLClassDescription

Returns:

returns the properties an instance of this class might have, excluding those whose existence depends on additional class memberships

getMaxCardinalityFor

public java.lang.Integer getMaxCardinalityFor(OWLPropertyDescription propd)

Description copied from class: OWLClassDescription

this is unbuffered because it is only needed in WrapperGenerator (and one asetupdater, but they are not considered "core")

Overrides:

getMaxCardinalityFor in class OWLClassDescription

Parameters:

propd - an OWLPropertyDescription

Returns:

an Integer which is the maximal cardinality of a given propd an 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.Concept>

getStaticURI

public static Uri.Concept getStaticURI()