- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 30 Aug 2002 14:44:44 +0200
- To: pat hayes <phayes@ai.uwf.edu>
- Cc: www-webont-wg@w3.org
[just some quick holiday comments]
> The promised rewrite of the semantics document is at
>
> http://www.coginst.uwf.edu/users/phayes/RDFS2OWL-D.html
>
> Y'all may be pleased to know that I have removed the Great Horns.
> Also, just after finishing this it occurred to me how to simplify it
> somewhat and make the technique more general (and more like a genuine
> Herbrand universe), but that will have to wait a few days until I
> finish some other things.
>
> Comments welcome.
1/ we think that we don't need
owl:Object
owl:Class
owl:Property
owl:ObjectProperty
owl:DatatypeProperty
but do need
owl:equivalentTo
2/ we think that owl:UniqueProperty
was dropped in favor of owl:FunctionalProperty
3/ we think that List, first, rest and nil are in rdf: namespace
4/ we don't think that
AAA owl:first BBB .
AAA owl:rest CCC .
CCC owl:first DDD .
BBB rdf:type EEE .
implies
DDD rdf:type EEE .
5/ we think that lists are indeed sequences and could be
thought of one node in the graph i.e. ( @seqvar )
and that following rules (using SKIF's sequence variables)
hold
IF | THEN
-----------------------------------------------------------
| ( ?x @b ) owl:item ?x .
-----------------------------------------------------------
( @b ) owl:item ?x . | ( ?a @b ) owl:item ?x .
-----------------------------------------------------------
| ( @a ) :includes ( ) .
-----------------------------------------------------------
( @a ) owl:item ?b . |
( @a ) :includes ( @c ) . | ( @a ) :includes ( ?b @c ) .
-----------------------------------------------------------
| ( ) owl:notItem ?x .
-----------------------------------------------------------
?a owl:differentFrom ?x . |
( @b ) owl:notItem ?x . | ( ?a @b ) owl:notItem ?x .
-----------------------------------------------------------
| ?x :inAllOf ( ) .
-----------------------------------------------------------
?x rdf:type ?a . |
?x :inAllOf ( @b ) . | ?x :inAllOf ( ?a @b ) .
-----------------------------------------------------------
?x rdf:type ?a . | ?x :inSomeOf ( ?a @b ) .
-----------------------------------------------------------
?x :inSomeOf ( @b ) . | ?x :inSomeOf ( ?a @b ) .
-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 30 August 2002 08:45:22 UTC