de.fau.cs.www8.jadeowlcodec
Class OWLClassDescription

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

Direct Known Subclasses:

OWLAllDifferentDescription, OWLNothingDescription, OWLThingDescription

public class OWLClassDescription
extends OWLRuntimeInfo<Uri.Concept>

Runtime representation of a class. not very detailed because we just don't have to know everything as long as our reasoner does either mostly empty or created when registering an wrapper class with the tbox

Author:

Ulf Schreiber

Constructor Summary

OWLClassDescription(Uri.Concept uri, TBoxVersion tbv)

Method Summary

java.util.Set<Uri.Concept>	getAllClasses()
java.util.Set<Uri.Role>	getAllProperties()
java.util.Set<Uri.Concept>	getAncestors()
java.util.Set<Uri.Role>	getDefinitiveProperties() Deprecated.
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")
java.lang.Integer	getMaxCardinalityFor(Uri.Role propuri)
void	putMaxCardinality(OWLPropertyDescription propd, int num)
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

OWLClassDescription

public OWLClassDescription(Uri.Concept uri,
                           TBoxVersion tbv)

Method Detail

putMaxCardinality

public void putMaxCardinality(OWLPropertyDescription propd,
                              int num)

getMaxCardinalityFor

public 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")

Parameters:

propd - an OWLPropertyDescription

Returns:

an Integer which is the maximal cardinality of a given propd an OWLPropertyDescription

getMaxCardinalityFor

public java.lang.Integer getMaxCardinalityFor(Uri.Role propuri)

getAllProperties

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

Returns:

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

getDefinitiveProperties

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

Deprecated.

Returns:

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

getAllClasses

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

Returns:

parents and synonyms, including self

getAncestors

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

Returns:

parents and synonyms, but not the class itself

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object