@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/ont00001814 rdf:type owl:ObjectProperty ; owl:inverseOf . ### https://www.commoncoreontologies.org/ont00001821 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdfs:domain ; rdfs:range ; rdfs:label "interval finished by"@en ; "A Temporal Interval INT2 is finished by some Temporal Interval INT1 iff there exists Temporal Instants inst1, inst2, and inst3 such that inst 1 is the starting instant of INT1, inst2 is the ending instant of both INT1 and INT2, inst3 is the starting instant of INT2, and inst3 is before inst1."@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/ont00001924 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