आप शायद आरडीएफ (एस) में काम कर रहे हैं, और ओडब्लूएल में नहीं, लेकिन यदि आपके पास ओडब्लूएल आधारित उपकरण का उपयोग करने की क्षमता है, और किसी भी व्यक्ति के लिए जो इस प्रश्न को पाता है और ओडब्लूएल आधारित उपकरण का उपयोग कर सकता है, यहां एक ओडब्लूएल आधारित उत्तर है।
यदि आप किसी वर्ग के प्रत्येक उदाहरण (इसके उप-वर्गों के उदाहरणों सहित) चाहते हैं तो कुछ संपत्ति मूल्य सामान्य हो, तो आप Individual Value Restriction का उपयोग कर सकते हैं। मैनचेस्टर वाक्य रचना में, आप कह सकते हैं कि SomeClass
सभी के उदाहरण अभिगृहीत के अनुसार प्रॉपर्टी hasValue
के लिए मूल्य sharedIndividual
है:
SomeClass SubClassOf hasValue value sharedIndividual
फिर SomeClass
के प्रत्येक उदाहरण प्रकार hasValue value sharedIndividual
, जिसका मतलब है उदाहरण sharedIndividual
है कि के रूप में है hasValue
संपत्ति के लिए एक मूल्य।
यहां कक्षा SomeClass
और दो उप-वर्ग SomeSubClass
और AnotherSubClass
के साथ एक ऑटोलॉजी का एन 3 क्रमबद्धता है। तीनों वर्गों में से प्रत्येक को एक घोषित व्यक्ति है। प्रकार hasValue value sharedIndividual
SomeClass
का एक सुपरक्लास है।
@prefix : <http://www.example.com/valueClassExample#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
<http://www.example.com/valueClassExample>
a owl:Ontology .
:hasValue
a owl:ObjectProperty .
:sharedValue
a owl:Thing , owl:NamedIndividual .
:SomeClass
a owl:Class ;
rdfs:subClassOf
[ a owl:Restriction ;
owl:hasValue :sharedValue ;
owl:onProperty :hasValue
] .
:SomeSubClass
a owl:Class ;
rdfs:subClassOf :SomeClass .
:AnotherSubClass
a owl:Class ;
rdfs:subClassOf :SomeClass .
:SomeClassInstance
a :SomeClass , owl:NamedIndividual .
:SomeSubClassInstance
a owl:NamedIndividual , :SomeSubClass .
:AnotherSubClassInstance
a owl:NamedIndividual , :AnotherSubClass .
इस सत्तामीमांसा शागिर्द में और गोली के साथ भरी हुई के साथ तर्क के लिए संलग्न, पूछ जो व्यक्तियों sharedValue
hasValue
संपत्ति का एक मूल्य के रूप में सभी व्यक्तियों से पता चलता है।
स्रोत
2013-06-27 11:41:25
तो OWL (जो यह शायद के बाद से RDF सूचियों का उपयोग किया जा रहा है, नहीं है), एक बार वहाँ एक रास्ता है, हालांकि सूची का उल्लेख करने के लिए चित्र में है, तो आप निर्दिष्ट कर सकते हैं 'SomeClass SubClassOf semapi: हैChainTo मान ', जिसका अर्थ है कि 'SomeClass' का प्रत्येक उदाहरण वास्तव में' semapi है: hasChainTo ' (और "प्रत्येक उदाहरण" में उप-वर्गों के उदाहरण शामिल हैं)। –
हां, यह सच है कि आप ऐसा कर सकते हैं। आप एक ओडब्लूएल तर्ककर्ता बनाम जटिलता की आवश्यकता को बंद कर देंगे। प्रत्येक बार जब एक इंस्टेंस बनाया जाता है तो एक अतिरिक्त ट्रिपल पर जोर देने की आवश्यकता होती है। चूंकि संसद पहले से ही एक चिंता के रूप में अद्यतन प्रदर्शन को ध्वजांकित कर चुकी है, इसलिए मुझे यकीन नहीं है कि मैं तर्क के पक्ष में व्यापार बंद कर दूंगा। लेकिन यह निर्णय पूरी तरह से परियोजना के संदर्भ के पूर्ण विवरण पर निर्भर करता है। –