@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/ont00001779 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdfs:domain ; rdfs:range ; rdfs:label "has inside instant"@en ; "For Temporal Interval t1 and Temporal Instant t2, t1 has inside instant t2 if and only if there exists Temporal Instants t3 and t4 that are part of t1 and non-identical with t2, such that t3 is before t2 and t4 is after t2."@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/ont00001848 rdf:type owl:ObjectProperty . ################################################################# # Classes ################################################################# ### http://purl.obolibrary.org/obo/BFO_0000038 rdf:type owl:Class . ### http://purl.obolibrary.org/obo/BFO_0000148 rdf:type owl:Class . ### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi