@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology . ################################################################# # Annotation properties ################################################################# ### http://www.w3.org/2004/02/skos/core#definition rdf:type owl:AnnotationProperty . ### https://www.commoncoreontologies.org/ont00001754 rdf:type owl:AnnotationProperty . ### https://www.commoncoreontologies.org/ont00001760 rdf:type owl:AnnotationProperty . ################################################################# # Object Properties ################################################################# ### https://www.commoncoreontologies.org/ont00001822 rdf:type owl:ObjectProperty , owl:SymmetricProperty ; rdfs:domain ; rdfs:range ; owl:propertyDisjointWith ; rdfs:label "interval equals"@en ; "A Temporal Interval INT1 is equal to some Temporal Interval INT2 iff there exists Temporal Instants inst1 and inst2 such that inst1 is the starting instant of both INT1 and INT2 and inst2 is the ending instant of both INT1 and INT2."@en ; "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ; "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001862 rdf:type owl:ObjectProperty . ################################################################# # Classes ################################################################# ### http://purl.obolibrary.org/obo/BFO_0000038 rdf:type owl:Class . ### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi