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