Name

From OWL Test Cases

Jump to:navigation, search
[Download OWL]
Test Id Name
Description Add a short description here.
Status New test (no official status yet)
Author Missing author
Original syntax RDF-XML
Syntactic Species/Profile OWL species indicator missing (EL profile assertion missing, QL profile assertion missing, RL profile assertion missing)
Semantics This test is applicable under both direct and RDF-based semantics.
Premise ontology (download)

Convert syntax: functional, XML, Manchester      This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL.
Open in RDF Validator

<?xml version="1.0"?>
<rdf:RDF  xml:base   = "http://example.org/"
          xmlns:xsd  = "http://www.w3.org/2001/XMLSchema#"
          xmlns:rdf  = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
          xmlns:rdfs = "http://www.w3.org/2000/01/rdf-schema#"
          xmlns:owl  = "http://www.w3.org/2002/07/owl#"
          xmlns:ex   = "http://example.org/">

  <owl:Ontology/>

<!-- Entity Declarations -->

  <owl:Class rdf:about="A" />
  <owl:DatatypeProperty rdf:about="d" />
  <owl:ObjectProperty rdf:about="p" />

<!-- Axioms -->

</rdf:RDF>
Conclusion ontology (download)

Convert syntax: functional, XML, Manchester      This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL.
Open in RDF Validator

<?xml version="1.0"?>
<rdf:RDF  xml:base   = "http://example.org/"
          xmlns:xsd  = "http://www.w3.org/2001/XMLSchema#"
          xmlns:rdf  = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
          xmlns:rdfs = "http://www.w3.org/2000/01/rdf-schema#"
          xmlns:owl  = "http://www.w3.org/2002/07/owl#"
          xmlns:ex   = "http://example.org/">

  <owl:Ontology/>

<!-- Entity Declarations -->

  <owl:Class rdf:about="A" />
  <owl:DatatypeProperty rdf:about="d" />
  <owl:ObjectProperty rdf:about="p" />

<!-- Axioms -->

</rdf:RDF>
Imported ontologies none
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox