Merge pull request #5 from ucoProject/add_facet_classification

Classify MACAddressFacet and BluetoothAddressFacet

ontology/uco-gufo.ttl

@@ -47,6 +47,35 @@ drafting:Endurant
 	rdfs:seeAlso <https://github.com/ucoProject/UCO/issues/544> ;
 	.
 
+drafting:FacetType
+	a owl:Class ;
+	rdfs:subClassOf
+		gufo:EndurantType ,
+		owl:Thing
+		;
+	rdfs:comment "Note: This is not a subclass of uco-core:UcoThing due in part to entailed imposition of an IRI form that does not seem appropriate in this situation.  If this were a subclass of UcoThing, then FacetType would trigger a SHACL info-severity validation result, visible to end-users on every SHACL run, because the IRI '...FacetType' does not end with a UUID."@en ;
+	rdfs:seeAlso
+		<https://github.com/ucoProject/UCO/issues/430> ,
+		<https://github.com/ucoProject/UCO/issues/595>
+		;
+	owl:disjointUnionOf (
+		drafting:GeneralFacetType
+		drafting:SpecificFacetType
+	) ;
+	owl:disjointWith
+		uco-core:UcoInherentCharacterizationThing ,
+		uco-core:UcoObject
+		;
+	.
+
+drafting:GeneralFacetType
+	a owl:Class ;
+	rdfs:subClassOf
+		drafting:FacetType ,
+		gufo:Category
+		;
+	.
+
 drafting:Perdurant
 	a owl:Class ;
 	rdfs:subClassOf
@@ -66,6 +95,14 @@ drafting:Quality
 	rdfs:seeAlso <https://github.com/ucoProject/UCO/issues/535> ;
 	.
 
+drafting:SpecificFacetType
+	a owl:Class ;
+	rdfs:subClassOf
+		drafting:FacetType ,
+		gufo:Kind
+		;
+	.
+
 drafting:Vehicle
 	a owl:Class ;
 	rdfs:subClassOf uco-observable:Device ;
@@ -89,6 +126,13 @@ drafting:Velocity
 	rdfs:seeAlso <https://github.com/ucoProject/UCO/issues/567> ;
 	.
 
+drafting:isBearerOf
+	a owl:ObjectProperty ;
+	rdfs:domain gufo:ConcreteIndividual ;
+	rdfs:range gufo:Aspect ;
+	owl:inverseOf gufo:inheresIn ;
+	.
+
 uco-action:Action
 	rdfs:subClassOf drafting:Perdurant ;
 	.
@@ -111,6 +155,11 @@ uco-core:Event
 	rdfs:subClassOf drafting:Perdurant ;
 	.
 
+uco-core:Facet
+	a drafting:GeneralFacetType ;
+	rdfs:subClassOf gufo:IntrinsicMode ;
+	.
+
 uco-core:Item
 	rdfs:subClassOf
 		drafting:Endurant ,
@@ -125,6 +174,10 @@ uco-core:endTime
 		;
 	.
 
+uco-core:hasFacet
+	rdfs:subPropertyOf drafting:isBearerOf ;
+	.
+
 uco-core:startTime
 	rdfs:seeAlso
 		gufo:hasBeginPoint ,
@@ -152,14 +205,33 @@ uco-identity:Person
 		;
 	.
 
+uco-observable:BluetoothAddressFacet
+	a drafting:SpecificFacetType ;
+	.
+
 uco-observable:Device
 	rdfs:subClassOf
 		drafting:Endurant ,
 		gufo:Object
 		;
 	.
 
+uco-observable:MACAddressFacet
+	a drafting:GeneralFacetType ;
+	.
+
 uco-types:Hash
 	rdfs:subClassOf gufo:AbstractIndividual ;
 	.
 
+[]
+	a owl:Axiom ;
+	rdfs:comment
+		"This specialization stems from a Facet currently being understood to be an intrinsic mode that is not measurable.  Were it measurable, a Facet would be a Quality."@en ,
+		"This specialization will raise some disussion pertaining to core:ConfidenceFacet.  If a ConfidenceFacet is measurable, then it is a specialization of gufo:Quality, and Facet should instead be a subclass of IntrinsicAspect."@en
+		;
+	owl:annotatedObject gufo:IntrinsicMode ;
+	owl:annotatedProperty rdfs:subClassOf ;
+	owl:annotatedSubject uco-core:Facet ;
+	.
+

tests/exemplars.ttl

@@ -29,13 +29,30 @@ kb:Action-13c91d40-9ca0-4558-81a1-4f7db888c371
 	gufo:hasEndPointInXSDDateTimeStamp "2021-02-03T04:05:06Z"^^xsd:dateTimeStamp ;
 	.
 
+kb:BluetoothAddress-53c6bc31-4f9c-4ca7-96cb-c9c61d7e4ca2
+	a uco-observable:BluetoothAddress ;
+	uco-core:hasFacet
+		kb:BluetoothAddressFacet-717b8cce-e9c2-4d59-81e4-1747d7e2d8ee ,
+		kb:MACAddressFacet-3b25d05e-a3b0-4828-8b6d-1e08f4d4264f
+		;
+	.
+
 kb:Bearing-74c2bb20-1e4f-40ac-807e-bc2c528e39da
 	a drafting:Bearing ;
 	gufo:inheresIn kb:Vehicle-c7e910e8-4bed-473e-ad74-3df3eb63cbcc ;
 	.
 
+kb:BluetoothAddressFacet-717b8cce-e9c2-4d59-81e4-1747d7e2d8ee
+	a uco-observable:BluetoothAddressFacet ;
+	.
+
 kb:ContentData-179c7e84-f72d-47f7-b6f3-3f4a1f0938bd
 	a uco-observable:ContentData ;
+	uco-core:hasFacet kb:ContentDataFacet-a961d865-087b-43bd-ab31-0e33331c5628 ;
+	.
+
+kb:ContentDataFacet-a961d865-087b-43bd-ab31-0e33331c5628
+	a uco-observable:ContentDataFacet ;
 	.
 
 kb:Event-03a1a1db-0579-4427-9a51-448c32281146
@@ -75,6 +92,10 @@ kb:Interval-336d4db4-727e-4694-8bf0-5902c6ae504f
 	time:inside kb:Instant-2918592a-9d87-4b30-acbc-521a19f97fcd ;
 	.
 
+kb:MACAddressFacet-3b25d05e-a3b0-4828-8b6d-1e08f4d4264f
+	a uco-observable:MACAddressFacet ;
+	.
+
 kb:Organization-3b542161-47e1-40cd-a1b1-e1b9d07af81f
 	a uco-identity:Organization ;
 	.