W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2004

Re: Help with Owl rules

From: Benjamin Nowack <bnowack@appmosphere.com>
Date: Tue, 1 Jun 2004 09:48:45 +0200
To: "Richard Lennox" <listserve@richardlennox.net>
Cc: www-rdf-logic@w3.org
Message-ID: <PM-EH.20040601094845.86CB5.1.1D@192.168.27.2>



In the semantic web stack, rules are separate from the ontology
layer. OWL has some built-ins, but AFAIK they don't cover what
you are trying to say (e.g. transitivity over different 
properties in your second example). I think your first example
can't work because there would be kind of a domain mismatch for
X:height (either some resource of e.g. type ex:Person should 
have an X:height or something of type ex:SizeDescription).

If you would like to use custom rules you may be interested in
SWRL [1], a proposal for an OWL+RuleML-based rules language.

hth,
benjamin

[1] http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/

--
Benjamin Nowack

Kruppstr. 100
45145 Essen, Germany


On 31.05.2004 21:16:38, Richard Lennox wrote:
>
>Hi,
>
>I am looking for some help with OWL and in particular a set of rules for:
>
>I want to say in OWL that for:
>
>Subject1 x:property Description_1
>Description_1 x:property1 "ABC"
>Description_1 x:property2 "DEF"
>Description_1 x:property3 "GHI"
>
>if this is given:
>
>Description_1 x:property1 "ABC"
>Description_1 x:property2 "DEF"
>Description_1 x:property3 "GHI"
>
>then it should be inferred that the above is given where x:property[1,2or3]
>make up the description of a single property of Subject1
>eg.
>ME foaf:mbox "XYZ"
>ME X:size Description_1
>DEscription_1 X:height "6'2"
>Description_1 X:weight "120lbs"
>
>can be inferred from:
>   
>ME foaf:mbox "XYZ"
>ME X:height "6'2"
>ME X:weight "120lbs"
>
>I also want to know if it is possible if given: 
>C1 dcterms:isPartOf C2 
>
>are there rules on properties of C2 such that C1 inherits the properties?
>
>
>Many thanks
>
>Richard Lennox
>
>---------------------------------------------------------------------------
>www.richardlennox.net
Received on Tuesday, 1 June 2004 03:50:25 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:49 GMT