My test ontology

From OWL Test Cases

Jump to:navigation, search
Ontology IRI http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/Special:getOntology/My_test_ontology (default)
Author Birte Glimm
Syntax Functional
Ontology (download, Convert syntax: RDF, 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. )
Namespace(=<file:/c/test.owl#>)
Namespace(rdfs=<http://www.w3.org/2000/01/rdf-schema#>)
Namespace(owl2xml=<http://www.w3.org/2006/12/owl2-xml#>)
Namespace(test=<file:/c/test.owl#>)
Namespace(owl=<http://www.w3.org/2002/07/owl#>)
Namespace(xsd=<http://www.w3.org/2001/XMLSchema#>)
Namespace(rdf=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Ontology(<file:/c/test.owl>
  Declaration(NamedIndividual(a))
  Declaration(DataProperty(hasAge))
  FunctionalProperty(hasAge) 
  ClassAssertion(HasValue(hasAge "18"^^xsd:integer) a) 
  ClassAssertion(HasValue(hasAge "19"^^xsd:integer) a)
)

[edit] Notes

Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox