[Namespaces:
  owl	= http://www.w3.org/2002/07/owl#
  ard	= https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_ard_xml:ard-syntax#
  rdfs  = http://www.w3.org/2000/01/rdf-schema#
  rdf   = http://www.w3.org/1999/02/22-rdf-syntax-ns#
]

Ontology(
  Class(ard:attribute)
  Class(ard:property)
  
  ObjectProperty(ard:is_attribute_of domain(ard:property) range(ard:attribute))
  ObjectProperty(ard:has_attribute inverseOf(ard:is_attribute_of))
  
  ObjectProperty(ard:depends_on domain(ard:property) range(ard:property))
  ObjectProperty(ard:is_prerequisite_for inverseOf(ard:property))
  
  ObjectProperty(ard:transformed_into domain(ard:property) range(property))
  ObjectProperty(ard:transformed_from inverseOf(ard:transformed_into))
)

Pobierz plik