Re: All humans love (all) cats

Hi Michael -

Thanks for posting two crisp OWL examples in response to ...

*Adrian * If possible, please point me to further examples
in which OWL does things that [perhaps] cannot reasonably be done with
[EE/IBL] rules.

*Michael*  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 .
"""

*Adrian*:   Here's *one *way of doing the above in EE/IBL rules:

*D is a subclass of the union C of some-classes
some-Cn is one of those-classes
not : that-Cn is disjoint with D
-----------------------------------------------
D is a subclass of that-Cn


D is a subclass of the union C of these-classes
===============================================
                                   C1 C2 C3


this-class1 is disjoint with this-class2
========================================
 C1                            D
 C2                            D


D is a subclass of the union C of some-classes
some-Cn is one of  those-classes
----------------------------------------------
that-Cn is one of those-classes


in position some-pos of some-classes there is an item some-item
---------------------------------------------------------------
that-item is one of those-classes
*
You can view, edit and run the example by pointing a browser to
www.reengineeringllc.com and choosing HumansLoveCats3.  You can also get the
following explanation/proof:
*
D is a subclass of the union C of  C1 C2 C3
C3 is one of  C1 C2 C3
not: C3 is disjoint with D
--------------------------------------------
D is a subclass of C3


in position 3 of  C1 C2 C3  there is an item C3
----------------------------------------------------------------------------------------------
C3 is one of  C1 C2 C3


missing: C3 is disjoint with D
------------------------------------------------------------
not: C3 is disjoint with D
*
Comments on the above would be much appreciated.  Then we will try the
second example.

                          Cheers,  -- Adrian

Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English Q/A over SQL
and RDF
Online at www.reengineeringllc.com
Shared use is free, and there are no advertisements

Adrian Walker
Reengineering

On Thu, Oct 7, 2010 at 8:18 PM, Michael Schneider <schneid@fzi.de> wrote:

> 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
> =======================================================================
>
>