@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 . ### https://www.commoncoreontologies.org/ont00001848 rdf:type owl:ObjectProperty ; rdfs:domain ; rdfs:range ; rdfs:label "is inside instant of"@en ; "For Temporal Instant t1 and Temporal Interval t2, t1 is inside instant of t2 if and only if there are Temporal Instants t3 and t4 non-identical to t1 and part of t2 such that t3 is before t1 and t4 is after t1."@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 . ################################################################# # 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