Cross Reference: testp1.het
xref
: /
hets
/
OWL2
/
tests
/
testp1.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
spec emptyontology =
Prefix: a: <http://a>
Prefix: b: <http://b>
Class: a:Boy
Class: b:Girl
Class: a:Dog
Individual: a:Stewie
Types:
a:Boy
with a |-> b