In such cases , I give the OWL to ATTEMPTO plugin in Protégé [1]
which verbalizes it thus :
Every Class_1 prop_1s something
that prop_2s nothing but Class_2s .
Knowing that Class names become nouns , and properties become verbs,
a more human readable form is:
Every instance of Class_1 has a value V of prop_1 such that
for V every value of prop_2 is in Class_2s .
Seeing this , it seems that no simplification can be found.
[1] http://attempto.ifi.uzh.ch/aceview/
2014-02-03 Karen Menz <[email protected]>:
> Hi,
> I need some help to understand the meaning/semantic of
> the following script:
>
> <owl:Class rdf:about="Class_1">
> <rdfs:subClassOf>
> <owl:Restriction>
> <owl:onProperty rdf:resource="prop_1"/>
> <owl:someValuesFrom>
> <owl:Restriction>
> <owl:onProperty rdf:resource="#prop_2"/>
> <owl:allValuesFrom rdf:resource="#Class_2"/>
> </owl:Restriction>
> </owl:someValuesFrom>
> </owl:Restriction>
> </rdfs:subClassOf>
> </owl:Class>
>
>
> I also
> wonder if there's any other way to simplify it.
>
>
> Thanks in
> advance,
>
> Karen
--
Jean-Marc Vanel
Déductions SARL - Consulting, services, training,
Rule-based programming, Semantic Web
http://deductions-software.com/
+33 (0)6 89 16 29 52
Twitter: @jmvanel , @jmvanel_fr ; chat: irc://irc.freenode.net#eulergui
