Cross Reference: test3.het
xref
: /
hets
/
OWL2
/
tests
/
test3.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
spec emptyontology =
Class: Boy
Class: Girl
Class: Dog
Individual: Stewie
Types:
Boy
DisjointClasses:
Boy,Dog,Girl
with Class Boy |-> YoungMan