|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
DatatypeProperty | |
FunctionalProperty | A property, P, is tagged as functional if it satisfies the following axiom: P(x, y) and P(x, z) -> y = z. |
ObjectProperty | |
OClass | |
OInstance | |
Ontology | |
OntologyEditor | An interface defining the methods of an Ontology Editor. |
Property | |
ReflexiveProperty | |
SymmetricProperty | |
Taxonomy | Defines the interface of an ontology |
TClass | An Interface representing a single ontology class |
TransitiveProperty |
Class Summary | |
DatatypePropertyImpl | |
ObjectPropertyImpl | |
OClassImpl | |
OInstanceImpl | |
PropertyImpl | |
TClassImpl | Represents a single ontology class. |
Exception Summary | |
InvalidFormatException | An exception thrown when invalid format of an ontology file is detected |
NoSuchClosureTypeException | NoSuchClosureTypeException
thrown whenever a closure type mismatch ocurrs |
|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |