- From: Michael Schneider <schneid@fzi.de>
- Date: Fri, 8 Oct 2010 02:18:58 +0200
- To: "Adrian Walker" <adriandwalker@gmail.com>
- Cc: "Pavel Klinov" <pklinov@cs.man.ac.uk>, <public-owl-dev@w3.org>
Adrian Walker wrote on Tuesday, October 05:
> If possible, please point me to further examples
> in which OWL does things that cannot reasonably be done with rules.
>
> Thanks, -- Adrian
Maybe this one (OWL 1)?
"""
ex:c owl:unionOf ( ex:c1 ex:c2 ex:c3 ) .
ex:d owl:disjointWith ex:c1 .
ex:d rdfs:subClassOf [
owl:intersectionOf ( ex:c [ owl:complementOf ex:c2 ] )
] .
---------------------------------------
ex:d rdfs:subClassOf ex:c3 .
"""
Or that one (OWL 2)?
"""
ex:p rdf:type owl:ObjectProperty .
ex:s rdf:type [
rdf:type owl:Restriction ;
owl:onProperty ex:p ;
owl:allValuesFrom [
owl:complementOf [
owl:oneOf ( ex:o )
]
]
] .
---------------------------------------
_:z rdf:type owl:NegativePropertyAssertion .
_:z owl:sourceIndividual ex:s .
_:z owl:assertionProperty ex:p .
_:z owl:targetIndividual ex:o .
"""
Cheers,
Michael
--
Dipl.-Inform. Michael Schneider
Research Scientist, Information Process Engineering (IPE)
Tel : +49-721-9654-726
Fax : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW : http://www.fzi.de/michael.schneider
=======================================================================
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
=======================================================================
Received on Friday, 8 October 2010 00:19:33 UTC