[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)) )