Package gate.creole.ontology

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