|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| AbsClassDescription | |
| AbsDescription | |
| AbsMultijoined<T extends Comparable> | |
| AbsMultijoinedClassdescription | |
| AbsRoleCardinality | |
| AbsRoleDescription | |
| AbsRoleRestriction | |
| ConcreteValue | quick and dirty: handle concrete values like nominals, to unify hasValue restrictions |
| ExistsRoleConcept | |
| Intersection | |
| InverseConcept | |
| InverseRole | |
| MaxRoleCardinality | |
| MinRoleCardinality | |
| NamedConcept | |
| NamedRole | |
| Nominal | |
| NormalizedImplicans | |
| NormalizedImplications | |
| OnlyRoleConcept | |
| ReformulatableClassDescriptions | so far this is exclusively TBox, _without_ RBox! |
| ReformulatableClassDescriptionsTest | |
| Sentence | |
| SentenceAboutConcepts | |
| SentenceAboutRoles | |
| TransitiveRole | |
| Union | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
Copyright 2007 Moritz Goeb, Bernhard Schiemann, Ulf Schreiber of Chair of Artificial Intelligence, University of Erlangen-Nuremberg