test18.ofn revision 1b1144abf7f95a4b23405b8d5604813cfe7b036a
167414650dc57c11c13ba85253f0211b3de0ecc5Christian MaederPrefix(: = <http://example.org/>)
167414650dc57c11c13ba85253f0211b3de0ecc5Christian Maeder Ontology(
4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblett Declaration(ObjectProperty(:a))
4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblett Declaration(ObjectProperty(:b))
4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblett Declaration(ObjectProperty(:c))
167414650dc57c11c13ba85253f0211b3de0ecc5Christian Maeder Declaration(ObjectProperty(:d))
4eaeba586d49aa0761ee2bb6d20efba91562cef6Andy Gimblett Declaration(ObjectProperty(:e))
Declaration(ObjectProperty(:f))
Declaration(ObjectProperty(:g))
Declaration(DataProperty(:h))
TransitiveObjectProperty(:a)
ReflexiveObjectProperty(:b)
IrreflexiveObjectProperty(:c)
SymmetricObjectProperty(:d)
AsymmetricObjectProperty(:e)
FunctionalObjectProperty(:f)
InverseFunctionalObjectProperty(:g)
FunctionalDataProperty(:h))