@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/ont00001795 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf . ### https://www.commoncoreontologies.org/ont00001821 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf . ### https://www.commoncoreontologies.org/ont00001862 rdf:type owl:ObjectProperty ; owl:propertyDisjointWith . ### https://www.commoncoreontologies.org/ont00001875 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf . ### https://www.commoncoreontologies.org/ont00001924 rdf:type owl:ObjectProperty ; owl:inverseOf ; rdfs:domain ; rdfs:range ; rdfs:label "interval contains"@en ; "A Temporal Interval INT2 contains some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, inst3, and inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst3 is before or identical to inst1, and inst2 is before or identical to inst4, but it is not the case that both inst3 is identical to inst1 and inst2 is identical to inst4."@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/ont00001971 rdf:type owl:ObjectProperty . ################################################################# # Classes ################################################################# ### http://purl.obolibrary.org/obo/BFO_0000038 rdf:type owl:Class . ### https://www.commoncoreontologies.org/ont00000063 rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . ### https://www.commoncoreontologies.org/ont00000085 rdf:type owl:Class . ### https://www.commoncoreontologies.org/ont00000211 rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . ### https://www.commoncoreontologies.org/ont00000225 rdf:type owl:Class . ### https://www.commoncoreontologies.org/ont00000329 rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . ### https://www.commoncoreontologies.org/ont00000619 rdf:type owl:Class . ### https://www.commoncoreontologies.org/ont00000800 rdf:type owl:Class . ### https://www.commoncoreontologies.org/ont00000810 rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . ### https://www.commoncoreontologies.org/ont00000832 rdf:type owl:Class . ### https://www.commoncoreontologies.org/ont00000992 rdf:type owl:Class . ### https://www.commoncoreontologies.org/ont00001058 rdf:type owl:Class . ### https://www.commoncoreontologies.org/ont00001154 rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . ### https://www.commoncoreontologies.org/ont00001166 rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . ### https://www.commoncoreontologies.org/ont00001206 rdf:type owl:Class ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty ; owl:someValuesFrom ] . ### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi