diff --git a/src/cco-modules/AgentOntology.ttl b/src/cco-modules/AgentOntology.ttl index 880691a..d079c84 100644 --- a/src/cco-modules/AgentOntology.ttl +++ b/src/cco-modules/AgentOntology.ttl @@ -77,7 +77,7 @@ rdfs:subPropertyOf obo:BFO_0000057 ; rdfs:domain obo:BFO_0000015 ; rdfs:range cco:ont00001017 ; rdfs:label "has accessory"@en ; -skos:definition "x has_accessory y iff x is an instance of Process and y is an instance of Agent, such that y assists another agent in the commission of x, and y was not located at the location of x when x occurred, and y was not an agent_in x."@en ; +skos:definition "x has accessory y =Def y accessory in x"@en ; cco:ont00001754 "http://en.wikipedia.org/wiki/Accessory_(legal_term)" ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -100,7 +100,7 @@ owl:inverseOf cco:ont00001895 ; rdfs:domain obo:BFO_0000015 ; rdfs:range cco:ont00001017 ; rdfs:label "has accomplice"@en ; -skos:definition "x has_accomplice y iff x is an instance of Process and y is an instance of Agent that assists in the commission of x, is located at the location of x, but is not agent_in x."@en ; +skos:definition "x has accomplice y =Def y accomplice in x"@en ; cco:ont00001754 "https://en.wikipedia.org/w/index.php?title=Accomplice&oldid=1002047204"^^xsd:anyURI ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -110,6 +110,7 @@ cco:ont00001774 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001902 ; owl:inverseOf cco:ont00001883 ; rdfs:label "has brother"@en ; + skos:definition "x has brother y =Def y is brother of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -118,6 +119,7 @@ cco:ont00001776 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001945 ; owl:inverseOf cco:ont00001876 ; rdfs:label "has grandfather"@en ; + skos:definition "x has grandfather y =Def y is grandfather of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -126,6 +128,7 @@ cco:ont00001780 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001842 ; owl:inverseOf cco:ont00001786 ; rdfs:label "has mother"@en ; + skos:definition "x has mother y =Def y is child of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -134,6 +137,7 @@ cco:ont00001781 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001996 ; owl:inverseOf cco:ont00001979 ; rdfs:label "has step sister"@en ; + skos:definition "x has step sister y =Def y is step sister of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -142,6 +146,7 @@ cco:ont00001783 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001945 ; owl:inverseOf cco:ont00001820 ; rdfs:label "is granddaughter of"@en ; + skos:definition "x has grandfather y =Def y is grandfather of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -150,6 +155,7 @@ cco:ont00001784 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001818 ; owl:inverseOf cco:ont00001881 ; rdfs:label "has son in law"@en ; + skos:definition "x has son in law y =Def y is son in law of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -158,6 +164,7 @@ cco:ont00001785 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001865 ; owl:inverseOf cco:ont00001988 ; rdfs:label "has uncle"@en ; + skos:definition "x has uncle y =Def y is uncle of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -184,6 +191,7 @@ cco:ont00001788 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001789 ; owl:inverseOf cco:ont00001994 ; rdfs:label "has paternal aunt"@en ; + skos:definition "x has paternal aunt y =Def y is paternal aunt of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -192,6 +200,7 @@ cco:ont00001789 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001865 ; owl:inverseOf cco:ont00001955 ; rdfs:label "has aunt"@en ; + skos:definition "x has aunt y =Def y is aunt of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -200,6 +209,7 @@ cco:ont00001790 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001785 ; owl:inverseOf cco:ont00001929 ; rdfs:label "has maternal uncle"@en ; + skos:definition "x has maternal uncle y =Def y is maternal uncle of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -208,6 +218,7 @@ cco:ont00001792 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001902 ; owl:inverseOf cco:ont00001851 ; rdfs:label "has sister"@en ; + skos:definition "x has sister y =Def y is sister of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -216,6 +227,7 @@ cco:ont00001793 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001975 ; owl:inverseOf cco:ont00001948 ; rdfs:label "has half sister"@en ; + skos:definition "x has half sister y =Def y is half sister of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -226,7 +238,7 @@ cco:ont00001794 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00001180 ; rdfs:range cco:ont00001180 ; rdfs:label "has subsidiary"@en ; - skos:definition "x has_subsidiary y iff x and y are both instances of Organization and y is_subsidiary_of x."@en ; + skos:definition "x has subsidiary y =Def y is subsidiary of x"@en ; cco:ont00001754 "http://www.austlii.edu.au/legis/cth/consol_act/ca2001172/s50aa.html" ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -260,6 +272,7 @@ cco:ont00001802 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001804 ; owl:inverseOf cco:ont00001957 ; rdfs:label "has husband"@en ; + skos:definition "x has husband y =Def y is husband of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -288,7 +301,7 @@ cco:ont00001807 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range cco:ont00001324 ; rdfs:label "is required by"@en ; - skos:definition "y is_required_by x at t iff: x is an instance of Process Regulation at time t, and y is an instance of Process at time t, and x prescribes that y must occur."@en ; + skos:definition "x is required by y =Def y requires x"@en ; skos:scopeNote "Given a stronger temporal interpretation, this property may be asymmetric and irreflexive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -332,7 +345,7 @@ cco:ont00001817 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range cco:ont00001324 ; rdfs:label "is prohibited by"@en ; - skos:definition "x is_prohibited_by y at t iff: y is an instance of Process Regulation at time t, and x is an instance of Process at time t, and y prescribes that x must not occur."@en ; + skos:definition "x is prohibited by y =Def y prohibits x"@en ; skos:scopeNote "Given a stronger temporal interpretation, this property may be asymmetric and irreflexive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -350,6 +363,7 @@ cco:ont00001818 rdf:type owl:ObjectProperty ; cco:ont00001820 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001850 ; rdfs:label "has granddaughter"@en ; + skos:definition "x has granddaughte y =Def y is granddaughter of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -358,6 +372,7 @@ cco:ont00001823 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001785 ; owl:inverseOf cco:ont00001926 ; rdfs:label "has paternal uncle"@en ; + skos:definition "x has paternal uncle y =Def y is paternal uncle of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -373,6 +388,7 @@ cco:ont00001826 rdf:type owl:ObjectProperty ; cco:ont00001828 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001818 ; rdfs:label "has sister in law"@en ; + skos:definition "x has sister in law y =Def y is sister in law of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -392,7 +408,7 @@ cco:ont00001833 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range cco:ont00001017 ; rdfs:label "has agent"@en ; - skos:definition "x has_agent y iff x is an instance of Process and y is an instance of Agent, such that y is causally active in x."@en ; + skos:definition "x has agent y =Def y agent in x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -412,6 +428,7 @@ cco:ont00001836 rdf:type owl:ObjectProperty . cco:ont00001839 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001995 ; rdfs:label "has son"@en ; + skos:definition "x has son y =Def y is son of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -420,6 +437,7 @@ cco:ont00001840 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001945 ; owl:inverseOf cco:ont00001882 ; rdfs:label "has grandmother"@en ; + skos:definition "x has grandmother y =Def y is grandmother of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -428,6 +446,7 @@ cco:ont00001842 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001865 ; owl:inverseOf cco:ont00001995 ; rdfs:label "is child of"@en ; + skos:definition "x is child of y =Def y is parent of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -448,7 +467,7 @@ cco:ont00001844 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00000402 ; rdfs:range cco:ont00001017 ; rdfs:label "has sender"@en ; - skos:definition "y has_sender x iff x is an instance of Agent and y is an instance of Act Of Communication, such that x is the initiator and encoder of the InformationContentEntity intended for communication in y."@en ; + skos:definition "x has sender y =Def y sends x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -498,6 +517,7 @@ cco:ont00001854 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001818 ; owl:inverseOf cco:ont00001867 ; rdfs:label "has daughter in law"@en ; + skos:definition "x has daughter in law y =Def y is daughter in law of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -506,6 +526,7 @@ cco:ont00001856 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001865 ; owl:inverseOf cco:ont00001932 ; rdfs:label "has niece"@en ; + skos:definition "x has niece y =Def y is niece of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -533,6 +554,7 @@ cco:ont00001860 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001865 ; owl:inverseOf cco:ont00001968 ; rdfs:label "is ancestor of"@en ; + skos:definition "x is ancestor of y =Def y is descendent of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -541,7 +563,7 @@ cco:ont00001864 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00001203 ; rdfs:range cco:ont00001180 ; rdfs:label "delimits"@en ; - skos:definition "x delimits y iff x is an instance of Delimiting Domain and y is an instance of Organization and y can legally operate only within x."@en ; + skos:definition "x delimits y =Def y is delimited by x"@en ; cco:ont00001754 "https://en.wikipedia.org/w/index.php?title=Boundary_delimitation&oldid=1039137603"^^xsd:anyURI ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -564,7 +586,7 @@ cco:ont00001866 rdf:type owl:ObjectProperty ; dcterms:created "2022-12-30T21:32:27-05:00"^^xsd:dateTime ; dcterms:creator "https://cubrc.org"^^xsd:anyURI ; rdfs:label "is interest of"@en ; - skos:definition "The inverse of has_interest_in. " ; + skos:definition "x is interest of y =Def y has interest in x" ; skos:prefLabel "is interest of"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -581,6 +603,7 @@ cco:ont00001871 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001804 ; owl:inverseOf cco:ont00001887 ; rdfs:label "has wife"@en ; + skos:definition "x has wife y =Def y is wife of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -635,6 +658,7 @@ cco:ont00001883 rdf:type owl:ObjectProperty ; cco:ont00001885 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001818 ; rdfs:label "has mother in law"@en ; + skos:definition "x has mother in law y =Def y is mother in law of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -660,6 +684,7 @@ cco:ont00001889 rdf:type owl:ObjectProperty ; cco:ont00001890 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001996 ; rdfs:label "has step brother"@en ; + skos:definition "x has step brother y =Def y is step brother of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -668,6 +693,7 @@ cco:ont00001891 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001818 ; owl:inverseOf cco:ont00001952 ; rdfs:label "has brother in law"@en ; + skos:definition "x has brother in law y =Def y is brother in law of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -683,6 +709,7 @@ cco:ont00001892 rdf:type owl:ObjectProperty ; cco:ont00001894 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001806 ; rdfs:label "has paternal first cousin"@en ; + skos:definition "x has mpaternal first cousin y =Def y is paternal first cousin of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -700,7 +727,7 @@ cco:ont00001898 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000027 ; rdfs:range cco:ont00001379 ; rdfs:label "aggregate has capability"@en ; - skos:definition "x aggregate_has_capability y iff x is an instance of Object Aggregate and y is an instance of Agent Capability, such that x is aggregate bearer of y."@en ; + skos:definition "x aggregate has capability y =Def y capability of aggregate x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -774,7 +801,7 @@ cco:ont00001922 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00000402 ; rdfs:range cco:ont00001017 ; rdfs:label "has recipient"@en ; - skos:definition "x has_recipient y iff y is an instance of Agent and x is an instance of Act Of Communication, such that y is the recipient and decoder of the InformationContentEntity intended for communication in x."@en ; + skos:definition "x has recipient y =Def y receives x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -783,7 +810,7 @@ cco:ont00001925 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000040 ; rdfs:range cco:ont00001017 ; rdfs:label "is used by"@en ; - skos:definition "x is_used_by y iff y is an instance of an Agent and x is an instance of a Material Entity, such that both x and y participate in some instance of a Process wherein y attempts to accomplish a goal by manipulating, deploying, leveraging some attribute of y."@en ; + skos:definition "x is used by y =Def y uses x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -798,6 +825,7 @@ cco:ont00001926 rdf:type owl:ObjectProperty ; cco:ont00001927 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001975 ; rdfs:label "has half brother"@en ; + skos:definition "x has half brother y =Def y is half brother of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -828,6 +856,7 @@ cco:ont00001932 rdf:type owl:ObjectProperty ; cco:ont00001934 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001806 ; rdfs:label "has maternal first cousin"@en ; + skos:definition "x has maternal first cousin y =Def y is maternal first cousin of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -835,6 +864,7 @@ cco:ont00001934 rdf:type owl:ObjectProperty ; cco:ont00001935 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001818 ; rdfs:label "has father in law"@en ; + skos:definition "x has father in law y =Def y is father in law of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -842,6 +872,7 @@ cco:ont00001935 rdf:type owl:ObjectProperty ; cco:ont00001937 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001840 ; rdfs:label "has paternal grandmother"@en ; + skos:definition "x has paternal grandmother y =Def y is paternal grandmother of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -873,7 +904,7 @@ cco:ont00001943 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00001262 ; rdfs:range cco:ont00001262 ; rdfs:label "supervises"@en ; - skos:definition "x supervises y iff x and y are both instances of Person and x directs, manages, or oversees y."@en ; + skos:definition "x supervises y =Def y is supervised by x"@en ; cco:ont00001754 "http://en.wiktionary.org/wiki/supervise" ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -882,6 +913,7 @@ cco:ont00001943 rdf:type owl:ObjectProperty ; cco:ont00001945 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001865 ; rdfs:label "is grandchild of"@en ; + skos:definition "x s grandchild of y =Def y is grandparent of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -890,6 +922,7 @@ cco:ont00001946 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001842 ; owl:inverseOf cco:ont00001985 ; rdfs:label "has father"@en ; + skos:definition "x has father y =Def y is father of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -914,7 +947,7 @@ cco:ont00001951 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000023 ; rdfs:range obo:BFO_0000023 ; rdfs:label "has subordinate role"@en ; - skos:definition "For all x,y,t: x has subordinate role y at t iff: x is an instance of Role at time t, and y is an instance of Role at time t, and there is some z such that x is realized by z and z is an instance of Process which creates, modifies, transfers, or eliminates some u such that u is a Process Regulation at time t, and u is addressed to the bearer of y."@en ; + skos:definition "x has subordinate role y =Def y is subordinate role to x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -939,7 +972,7 @@ cco:ont00001954 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00001017 ; rdfs:range cco:ont00001379 ; rdfs:label "has capability"@en ; - skos:definition "x has_capability y iff x is an instance of Agent and y is an instance of Agent Capability, such that x bearer of y."@en ; + skos:definition "x has capability y =Def y capability of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -961,6 +994,7 @@ cco:ont00001957 rdf:type owl:ObjectProperty ; cco:ont00001958 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001789 ; rdfs:label "has maternal aunt"@en ; + skos:definition "x has maternal aunt y =Def y is maternal aunt of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -968,6 +1002,7 @@ cco:ont00001958 rdf:type owl:ObjectProperty ; cco:ont00001960 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001840 ; rdfs:label "has maternal grandmother"@en ; + skos:definition "x has maternal grandmother y =Def y is maternal grandmother of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -990,6 +1025,7 @@ cco:ont00001968 rdf:type owl:ObjectProperty ; cco:ont00001969 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001865 ; rdfs:label "has nephew"@en ; + skos:definition "x has nephew y =Def y is nephew of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -997,6 +1033,7 @@ cco:ont00001969 rdf:type owl:ObjectProperty ; cco:ont00001972 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001776 ; rdfs:label "has paternal grandfather"@en ; + skos:definition "x has paternal grandfather y =Def y is paternal grandfather of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -1004,6 +1041,7 @@ cco:ont00001972 rdf:type owl:ObjectProperty ; cco:ont00001973 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001776 ; rdfs:label "has maternal grandfather"@en ; + skos:definition "x has maternal grandfather y =Def y is maternal grandfather of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -1032,7 +1070,7 @@ cco:ont00001977 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00001017 ; rdfs:range cco:ont00001017 ; rdfs:label "has affiliate"@en ; - skos:definition "x has affiliate y iff y is affiliated with x."@en ; + skos:definition "x has affiliate y =Def y is affiliated with x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -1057,6 +1095,7 @@ cco:ont00001979 rdf:type owl:ObjectProperty ; cco:ont00001981 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001850 ; rdfs:label "has grandson"@en ; + skos:definition "x has grandson y =Def y is grandson x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -1085,6 +1124,7 @@ cco:ont00001985 rdf:type owl:ObjectProperty ; cco:ont00001987 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf cco:ont00001995 ; rdfs:label "has daughter"@en ; + skos:definition "x has daughter y =Def y is daughter of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -1100,7 +1140,7 @@ cco:ont00001992 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000023 ; rdfs:range cco:ont00001180 ; rdfs:label "has organizational context"@en ; - skos:definition "x has_organizational_context y iff y is an instance of an Organization and x is an instance of a Role and z is an instance of a Person, such that z's affiliation with y is a prerequisite for z bearing x or y ascribes x to the bearer of x."@en ; + skos:definition "x has organizational context y =Def y is organizational context of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -1146,7 +1186,7 @@ cco:ont00001998 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range cco:ont00001324 ; rdfs:label "is permitted by"@en ; - skos:definition "y is_permitted_by x at t iff: x is an instance of Process Regulation at time t, and y is an instance of Process at time t, and x prescribes that y may occur."@en ; + skos:definition "x is permitted by y =Def y permits x"@en ; skos:scopeNote "Given a stronger temporal interpretation, this property may be asymmetric and irreflexive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -1806,7 +1846,7 @@ cco:ont00000647 rdf:type owl:Class ; owl:onProperty cco:ont00001939 ; owl:someValuesFrom cco:ont00001180 ] ; - rdfs:label "Organization Member Person"@en ; + rdfs:label "Organization Member"@en ; skos:definition "A Person who is affiliated with some Organization by being a member of that Organization."@en ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . @@ -2359,4 +2399,4 @@ cco:ont00001379 rdf:type owl:Class ; cco:ont00001760 "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI . -### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi +### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi \ No newline at end of file diff --git a/src/cco-modules/ExtendedRelationOntology.ttl b/src/cco-modules/ExtendedRelationOntology.ttl index b079588..fc541e7 100644 --- a/src/cco-modules/ExtendedRelationOntology.ttl +++ b/src/cco-modules/ExtendedRelationOntology.ttl @@ -219,7 +219,7 @@ cco:ont00001775 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000004 ; rdfs:range obo:BFO_0000004 ; rdfs:label "is successor of"@en ; - skos:definition "x is_successor_of y iff x and y are both instances of Independent Continuant and y is_predecessor_of x. "@en ; + skos:definition "x is successor of y =Def y is predecessor of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -230,7 +230,7 @@ cco:ont00001777 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000015 ; rdfs:label "has process part"@en ; - skos:definition "x has_process_part y iff x and y are instances of Process, such that y occurs during the temporal interval of x, and y either provides an input to x or receives an output of x, or both."@en ; + skos:definition "x has process part y =Def y is part of process x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -239,8 +239,9 @@ cco:ont00001778 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf obo:BFO_0000057 ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000002 ; + owl:inverseOf cco:ont00001936 ; rdfs:label "has object"@en ; - skos:definition "x has_object y ff x is an instance of Process and y is an instance of Continuant and x is performed by some instance of Agent z and y is part of the projected state that z intends to achieve by performing x."@en ; + skos:definition "x has object y =Def y is object of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -288,7 +289,7 @@ cco:ont00001805 rdf:type owl:ObjectProperty ; dcterms:created "2022-12-30T21:32:27-05:00"^^xsd:dateTime ; dcterms:creator "https://cubrc.org"^^xsd:anyURI ; rdfs:label "is disrupted by"@en ; - skos:definition "Inverse of disrupts." ; + skos:definition "x is disrupted by y =Def y disrupts x" ; skos:prefLabel "is disrupted by"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -323,7 +324,7 @@ cco:ont00001819 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000003 ; rdfs:range obo:BFO_0000003 ; rdfs:label "caused by"@en ; - skos:definition "x caused_by y iff x and y are instances of Occurrent, and x is a consequence of y."@en ; + skos:definition "x caused by y =Def y is cause of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -360,7 +361,7 @@ cco:ont00001834 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000002 ; rdfs:label "affects"@en ; - skos:definition "x affects y iff x is an instance of Process and y is an instance of Continuant, and x influences y in some manner, most often by producing a change in y."@en ; + skos:definition "x affects y =Def y is affected by x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -373,7 +374,7 @@ cco:ont00001836 rdf:type owl:ObjectProperty ; ) ] ; rdfs:label "aggregate bearer of"@en ; - skos:definition "x aggregate_bearer_of y iff x is an instance of Object Aggregate and y is an instance of Specifically Dependent Continuant or Generically Dependent Continuant and y specifically or generically depends on some instance of Object z that is part of x and all other members of x are also bearers of a unique instance of the same type as y."@en ; + skos:definition "x aggregate bearer of y =Def y inheres in aggregate x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -395,7 +396,7 @@ cco:ont00001845 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000029 ; rdfs:range obo:BFO_0000015 ; rdfs:label "is site of"@en ; - skos:definition "x is_site_of y iff x is an instance of Site and y is an instance of Process, such that y occurs in x."@en ; + skos:definition "x is site of y =Def y occurs at x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -418,7 +419,7 @@ cco:ont00001874 rdf:type owl:ObjectProperty ; ) ] ; rdfs:label "is temporal region of"@en ; - skos:definition "t is temporal region of p iff p occupies temporal region t."@en ; + skos:definition "x is temporal region y =Def y occupies temporal region x"@en ; skos:editorialNote "Leaving this is in ERO for now since BFO2020 has no inverse of occupies-temporal-region yet."@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -483,7 +484,7 @@ cco:ont00001921 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000002 ; rdfs:label "has input"@en ; - skos:definition "y has_input x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the beginning of y is a necessary condition for the start of y."@en ; + skos:definition "x has input y =Def y is input of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -536,7 +537,7 @@ cco:ont00001956 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000027 ; rdfs:range obo:BFO_0000016 ; rdfs:label "aggregate has disposition"@en ; - skos:definition "x aggregate_has_disposition y iff x is an instance of Object Aggregate and y is an instance of Disposition, such that x aggregate_bearer_of y."@en ; + skos:definition "x aggregate has disposition y =Def y disposition of aggregate x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -546,7 +547,7 @@ cco:ont00001959 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000015 ; rdfs:label "inhibits"@en ; - skos:definition "x inhibits y iff x and y are non-identical Processes, d is a Decrease of Realizable Entity, and x is_cause_of d, and r is a Realizable Entity, and d has_participant r, and r realized_in y."@en ; + skos:definition "x inhibits y =Def y inhibited by x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -556,7 +557,7 @@ cco:ont00001962 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000015 ; rdfs:label "process started by"@en ; - skos:definition "x process_started_by y iff x and y are instances of processes, and x is caused_by y, and i is an instance of a temporal instant, and r is an instance of a temporal interval, and x has starting instance i, and y occurs on r, and r has inside instant i."@en ; + skos:definition "x process started by y =Def y process starts x"@en ; skos:scopeNote "A process x is started by another process y when y causes x while y is still occurring."@en ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . @@ -576,9 +577,9 @@ cco:ont00001986 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000002 ; rdfs:label "has output"@en ; - skos:definition "y has_output x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y."@en ; + skos:definition "x has output y =Def y is output of x"@en ; cco:ont00001754 "https://en.wikipedia.org/w/index.php?title=IPO_model&oldid=1024398398"^^xsd:anyURI ; cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI . -### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi +### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi \ No newline at end of file diff --git a/src/cco-modules/GeospatialOntology.ttl b/src/cco-modules/GeospatialOntology.ttl index 96fad58..d46653a 100644 --- a/src/cco-modules/GeospatialOntology.ttl +++ b/src/cco-modules/GeospatialOntology.ttl @@ -128,7 +128,7 @@ cco:ont00001855 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; rdfs:label "has spatial part"@en ; - skos:definition "y has_spatial_part x iff x, y, z, and q are instances of Immaterial Entity, such that for any z connected with x, z is also connected with y, and q is connected with y but not connected with x."@en ; + skos:definition "x has spatial part y =Def y spatial part of x"@en ; cco:ont00001754 "Randell, D. A., Cui, Z. and Cohn, A. G.: 1992, \"A spatial logic based on regions and connection,\" Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pp. 165-176. Available at: https://www.dpi.inpe.br/gilberto/references/cohn_rcc.pdf"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/GeospatialOntology"^^xsd:anyURI . @@ -139,7 +139,7 @@ cco:ont00001909 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; rdfs:label "has tangential part"@en ; - skos:definition "x has_tangential_part y iff x, y, and z are instances of Immaterial Entity, and x has_spatial_part y, such that z externally connects with both x and y."@en ; + skos:definition "x has tangential part y =Def y tangential part of x"@en ; skos:scopeNote "Given a stronger temporal interpretation, this property may be transitive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en ; cco:ont00001754 "Randell, D. A., Cui, Z. and Cohn, A. G.: 1992, \"A spatial logic based on regions and connection,\" Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pp. 165-176. Available at: https://www.dpi.inpe.br/gilberto/references/cohn_rcc.pdf"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/GeospatialOntology"^^xsd:anyURI . @@ -176,7 +176,7 @@ cco:ont00001989 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; rdfs:label "has nontangential part"@en ; - skos:definition "x has_nontangential_part y iff x and y are instances of Immaterial Entity, and x has_spatial_part y, such that there does not exist another instance of an Immaterial Entity which externally connects with both x and y."@en ; + skos:definition "x has nontangential part y =Def y nontangential part of x"@en ; skos:scopeNote "Given a stronger temporal interpretation, this property may be transitive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en ; cco:ont00001754 "Randell, D. A., Cui, Z. and Cohn, A. G.: 1992, \"A spatial logic based on regions and connection,\" Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pp. 165-176. Available at: https://www.dpi.inpe.br/gilberto/references/cohn_rcc.pdf"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/GeospatialOntology"^^xsd:anyURI . @@ -698,4 +698,4 @@ cco:ont00002000 rdf:type owl:Class ; cco:ont00001760 "https://www.commoncoreontologies.org/GeospatialOntology"^^xsd:anyURI . -### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi +### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi \ No newline at end of file diff --git a/src/cco-modules/InformationEntityOntology.ttl b/src/cco-modules/InformationEntityOntology.ttl index 8af9dbe..c9e2055 100644 --- a/src/cco-modules/InformationEntityOntology.ttl +++ b/src/cco-modules/InformationEntityOntology.ttl @@ -50,7 +50,7 @@ cco:ont00001801 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000001 ; rdfs:range cco:ont00000958 ; rdfs:label "is subject of"@en ; - skos:definition "x is_subject_of y iff x is an instance of Entity and y is an instance of Information Content Entity and y is_about x."@en ; + skos:definition "x is subject of y =Def y is about x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -102,7 +102,7 @@ cco:ont00001863 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00000253 ; rdfs:range cco:ont00000120 ; rdfs:label "uses measurement unit"@en ; - skos:definition "y uses_measurement_unit x iff y is an instance of Information Bearing Entity and x is an instance of Measurement Unit, such that x describes the magnitude of measured physical quantity mentioned in y."@en ; + skos:definition "x uses measurement unit y =Def y is measurement unit of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -124,7 +124,7 @@ cco:ont00001873 rdf:type owl:ObjectProperty ; rdfs:range cco:ont00001069 ; rdfs:comment "See notes for inverse property." ; rdfs:label "represented by"@en ; - skos:definition "y represented_by x iff x is an instance of Representational Information Content Entity, and y is an instance of Entity, and z is carrier of x, such that x is about y in virtue of there existing an isomorphism between characteristics of z and y."@en ; + skos:definition "x represented by y =Def y represents x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -146,7 +146,7 @@ cco:ont00001878 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00000253 ; rdfs:range obo:BFO_0000001 ; rdfs:label "is mention of"@en ; - skos:definition "x is_mention_of y iff x is an instance Information Bearing Entity and y is an instance of Entity, such that x is used as a reference to y."@en ; + skos:definition "x mention of y =Def y is mentioned by x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -157,7 +157,7 @@ cco:ont00001879 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000001 ; rdfs:range cco:ont00000686 ; rdfs:label "designated by"@en ; - skos:definition "x designated_by y iff y is an instance of Designative Information Content Entity and x is an instance of Entity and y designates x."@en ; + skos:definition "x designated by y =Def y designates x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -171,7 +171,7 @@ cco:ont00001884 rdf:type owl:ObjectProperty ; obo:BFO_0000176 ) ; rdfs:label "condition described by"@en ; - skos:definition "x condition_described_by y iff y is an instance of Performance Specification and x is an instance of Entity and y describes_condition x."@en ; + skos:definition "x condition described by y =Def y describes condition x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -204,7 +204,7 @@ cco:ont00001904 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000001 ; rdfs:range cco:ont00001163 ; rdfs:label "is measured by"@en ; - skos:definition "y is_measured_by x iff x is an instance of Measurement Information Content Entity and y is an instance of Entity and y is_a_measurement_of x."@en ; + skos:definition "x is measured by by y =Def y is a measurement of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -214,7 +214,7 @@ cco:ont00001908 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00000253 ; rdfs:range cco:ont00000829 ; rdfs:label "uses time zone identifier"@en ; - skos:definition "x uses_time_zone_identifier y iff x is an instance of Information Bearing Entity and y is an instance of Time Zone Identifier, such that y designates the spatial region associated with the time zone mentioned in x."@en ; + skos:definition "x uses time zone identifier y =Def y time zone identifier used by x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -225,7 +225,7 @@ cco:ont00001912 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00000253 ; rdfs:range cco:ont00000398 ; rdfs:label "uses reference system"@en ; - skos:definition "y uses_reference_system x iff y is an instance of Information Bearing Entity and x is an instance of Reference System, such that x describes the set of standards mentioned in y."@en ; + skos:definition "x uses reference system y =Def y is reference system of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -235,7 +235,7 @@ cco:ont00001913 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00000253 ; rdfs:range cco:ont00000469 ; rdfs:label "uses geospatial coordinate reference system"@en ; - skos:definition "y uses_geospatial_coordinate_reference_system x iff y is an instance of Information Bearing Entity and x is an instance of Geospatial Coordinate Reference System, such that x describes the set of standards mentioned in y."@en ; + skos:definition "x uses geospatial coordinate reference system y =Def y is geospatial coordinate reference system of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -245,7 +245,7 @@ cco:ont00001914 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000001 ; rdfs:range cco:ont00000293 ; rdfs:label "is measured by nominal"@en ; - skos:definition "x is_measured_by_nominal y iff y is an instance of Nominal Measurement Information Content Entity and x is an instance of Entity, such that y classifies x relative to some set of shared, possibly arbitrary, characteristics."@en ; + skos:definition "x is measured by nominal y =Def y is a nominal measurement of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -270,7 +270,7 @@ cco:ont00001917 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000001 ; rdfs:range cco:ont00000853 ; rdfs:label "described by"@en ; - skos:definition "x described_by y iff y is an instance of Descriptive Information Content Entity and x is an instance of Entity and y describes x."@en ; + skos:definition "x described by y =Def y describes x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -290,7 +290,7 @@ cco:ont00001920 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000001 ; rdfs:range cco:ont00000965 ; rdfs:label "prescribed by"@en ; - skos:definition "x prescribed_by y iff y is an instance of Directive Information Content Entity and x is an instance of Entity and y prescribes x."@en ; + skos:definition "x prescribed by y =Def y prescribes x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -336,7 +336,7 @@ cco:ont00001963 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000001 ; rdfs:range cco:ont00001010 ; rdfs:label "is measured by ordinal"@en ; - skos:definition "x is_measured_by_ordinal y iff y is an instance of Ordinal Measurement Information Content Entity and x is an instance of Entity, such that y describes some attribute of x relative to a scale ordered by rank."@en ; + skos:definition "x is measured by ordinal y =Def y is a ordinal measurement of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -346,7 +346,7 @@ cco:ont00001964 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000001 ; rdfs:range cco:ont00001364 ; rdfs:label "is measured by interval"@en ; - skos:definition "y is_measured_by_interval x iff x is an instance of Interval Measurement Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale which has uniform intervals but has a zero value that does not correspond to an absence of the attribute being measured."@en ; + skos:definition "x is measured by interval y =Def y is a interval measurement of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -357,7 +357,7 @@ cco:ont00001965 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000001 ; rdfs:range cco:ont00001022 ; rdfs:label "is measured by ratio"@en ; - skos:definition "y is_measured_by_ratio x iff x is an instance of Ratio Measurement Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale having equal unit values and a zero value that corresponds to the absence of the attribute being measured."@en ; + skos:definition "x is measured by ratio y =Def y is a ratio measurement of x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -379,7 +379,7 @@ cco:ont00001976 rdf:type owl:ObjectProperty ; rdfs:domain cco:ont00000253 ; rdfs:range cco:ont00001175 ; rdfs:label "uses language"@en ; - skos:definition "x uses_language y iff x is an instance of an Information Bearing Entity and y is an instance of a Language such that the literal value of x is a string that is encoded according to the syntax of y."@en ; + skos:definition "x uses language y =Def y language used in x"@en ; cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . @@ -2675,4 +2675,4 @@ cco:ont00001732 rdf:type owl:NamedIndividual , cco:ont00001760 "https://www.commoncoreontologies.org/InformationEntityOntology"^^xsd:anyURI . -### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi +### Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi \ No newline at end of file diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl index 0b3bc5f..ae102c5 100644 --- a/src/cco-modules/TimeOntology.ttl +++ b/src/cco-modules/TimeOntology.ttl @@ -61,7 +61,7 @@ cco:ont00001795 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000202 ; rdfs:range obo:BFO_0000202 ; rdfs:label "has inside interval"@en ; - skos:definition "x has_inside_interval y iff x and y are both instances of Temporal Interval and y interval_during x."@en ; + skos:definition "x has inside interval y =Def y interval during x"@en ; cco:ont00001754 "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 ; cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . @@ -84,7 +84,7 @@ cco:ont00001821 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000202 ; rdfs:range obo:BFO_0000202 ; rdfs:label "interval finished by"@en ; - skos:definition "x interval_finished_by y iff x and y are both instances of Temporal Interval and y interval_finishes x."@en ; + skos:definition "x interval finished by y =Def y interval finishes x"@en ; cco:ont00001754 "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 ; cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . @@ -108,7 +108,7 @@ cco:ont00001825 rdf:type owl:ObjectProperty ; rdfs:range obo:BFO_0000202 ; owl:propertyDisjointWith cco:ont00001862 ; rdfs:label "interval overlaps"@en ; - skos:definition "x interval_overlaps y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant u, v, w, z such that u is the starting instant of x, v is the ending instant of x, w is the starting instant of y, z is the ending instant of y, u is before w, w is before v, and v is before z."@en ; + skos:definition "x interval overlaps y =Def y interval overlapped by x"@en ; cco:ont00001754 "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 ; cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . @@ -120,7 +120,7 @@ cco:ont00001847 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000202 ; rdfs:range obo:BFO_0000202 ; rdfs:label "interval is after"@en ; - skos:definition "x interval_is_after y iff x and y are both instances of Temporal Interval and y interval_is_before x."@en ; + skos:definition "x interval is after y =Def y interval is before x"@en ; cco:ont00001754 "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 ; cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . @@ -177,7 +177,7 @@ cco:ont00001875 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000202 ; rdfs:range obo:BFO_0000202 ; rdfs:label "interval started by"@en ; - skos:definition "x interval_started_by y iff x and y are both instances of Temporal Interval and y interval_starts x."@en ; + skos:definition "x interval started by y =Def y interval starts x"@en ; cco:ont00001754 "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 ; cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . @@ -202,7 +202,7 @@ cco:ont00001896 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000202 ; rdfs:range obo:BFO_0000202 ; rdfs:label "interval meets"@en ; - skos:definition "x interval_meets y iff x and y are both instances of Temporal Interval and there exists some instance of Temporal Instant z such that z is the ending instant of x and z is the starting instant of y."@en ; + skos:definition "x interval meets y =Def y interval met by x"@en ; cco:ont00001754 "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 ; cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . @@ -237,7 +237,7 @@ cco:ont00001924 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000202 ; rdfs:range obo:BFO_0000202 ; rdfs:label "interval contains"@en ; - skos:definition "x interval_contains y iff x and y are both instances of Temporal Interval and there exist instances of Temporal Instant u, v, w, and z such that u is the starting instant of x, v is the ending instant of x, w is the starting instant of y, z is the ending instant of y, w is before or identical to u, and v is before or identical to z, and it is not the case that both w is identical to u and v is identical to z."@en ; + skos:definition "x interval contains y =Def y interval contained by x"@en ; cco:ont00001754 "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 ; cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . @@ -644,4 +644,4 @@ cco:ont00001206 rdf:type owl:Class ; cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . -### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi +### Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi \ No newline at end of file