Is Disjoint Subclass of with transitivity property
Modal
Logic
Logical Theory
Thesaurus
Has
Narrower Meaning Than
Taxonomy
Is Sub-Classification of
Conceptual Model
Is
Subclass of
DB
Schemas, XML Schema
UML
First
Order Logic
ER
Extended
ER
Description
Logic
DAML+OIL,
OWL
RDF/S
XTM