Supported OWL DL 1 RDF/XML elements in WissKI

supported-wisski-syntax.md

Supported WissKI Ontologies elements

WissKI ontology import and reasoning only supports a reduced OWL DL 1 RDF/XML notation.

Supported elements

Root

<rdf:RDF>
  xml:base="http://example.org/ontology/"
  xmlns:ontology="http://example.org/ontology/"
  xmlns:otherontology="http://another-ontology.com/"
  xmlns:contents="http://example.org/contents/"
  xmlns:othercontents="http://example.org/other-contents/"
  xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
  xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xmlns:owl="http://www.w3.org/2002/07/owl#">
  ...
</rdf:RDF>

General information

<owl:Ontology rdf:about="">
  <rdfs:comment xml:lang="en">
    Ontology description.
  </rdfs:comment>
  <rdfs:label xml:lang="en">
    Example Ontology
  </rdfs:label>
  <owl:imports rdf:resource="http://another-ontology.com/"/>
  <owl:versionInfo>
    1.0.0
  </owl:versionInfo>
</owl:Ontology>

Classes

<owl:Class rdf:about="http://example.org/ontology/ClassName">
  <rdfs:subClassOf rdf:resource="http://example.org/ontology/ParentClassName"/>
  <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">
    Class definition
  </rdfs:comment>
  <rdfs:label xml:lang="en">
    English label
  </rdfs:label>
  <rdfs:label xml:lang="de">
    German label
  </rdfs:label>
</owl:class>

Individuals

<rdf:Description rdf:about="http://example.org/contents/individual-A-Id">
  <rdf:type rdf:resource="http://example.org/ontology/ClassName"/>
  <owl:sameAs rdf:resource="http://example.org/other-contents/individual-A-Id"/>
  <ontology:objectProperty rdf:resource="http://example.org/contents/individual-B-Id"/>
  <ontology:objectProperty rdf:resource="http://example.org/contents/individual-C-Id"/>
</rdf:Description>

Object properties

<owl:objectProperty rdf:resource="http://example.org/ontology/objectPropertyName">
  <rdfs:subPropertyOf rdf:resource="http://example.org/ontology/parentObjectPropertyName"/>
  <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">
    Definition.
  </rdfs:comment>
  <rdfs:label xml:lang="en">
    English label
  </rdfs:label>
  <rdfs:label xml:lang="de">
    German label
  </rdfs:label>
  <rdfs:domain rdf:resource="http://example.org/ontology/DomainClassName"/>
  <rdfs:range rdf:resource="http://example.org/ontology/RangeClassName"/>
  <owl:inverseOf rdf:resource="http://example.org/ontology/inverseObjectPropertyName"/>
</owl:objectProperty>

Datatype properties

<owl:dataProperty rdf:resource="http://example.org/ontology/datatypePropertyName">
  <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">
    Definition.
  </rdfs:comment>
  <rdfs:label xml:lang="en">
    English label
  </rdfs:label>
  <rdfs:label xml:lang="de">
    German label
  </rdfs:label>
  <rdfs:domain rdf:resource="http://example.org/ontology/DomainClassName"/>
</owl:objectProperty>

Non supported OWL DL 1 syntax

• owl:disjointWith
• rdfs:equivalentClass
• owl:AllDifferent
• owl:distinctMembers
• owl:differentFrom
• owl:oneOf
• owl:intersectionOf
• owl:unionOf
• owl:complementOf
• owl:Restriction