|  Jason wrote:
|
|  I want to define two classes, For instance: owl:class Topic and owl:class Researcher,
|
|  There are three instances of the Topic class, namely
|  knowledgeDiscovery, dataMining, and textMining. Three instance of the
|  Research class, namely A, B, and C.
|
|  DataMining and textMining are subtopic of knowledgeDiscovery. A workIn
|  knowledge discovery, B workIn dataMining, and C workIn textMining.
|
|  Now, I have a query ''SELECT ?Researcher WHERE ?Research workIn
|  knowledgeDiscovery'', I hope the three tuples will be extracted. They
|  are ''A workIn knowledgeDiscovery'', ''B workIn knowledgDiscovery'', and
|  ''C workIn knowledgeDiscovery''.
|
|  The subtopic relation is similar to the rdfs:subClassOf. However, it
|  works on the instances only. How can i define the subtopic relation
|  using the OWL so that i can get the above results.
|
|  ----------------------------------------------------------------------------
|
|  Gerd wrote:
|
|  You can do it by declaring subtopic to be transitive and by using a rule such as
|
|  ObjectPropertyAtom( worksIn, ?x, ?y) IF  ObjectPropertyAtom( worksIn, ?x, ?z) AND ObjectPropertyAtom( subtopic, ?z, ?y)
|
|  Such rules can be expressed in RuleML or in SWRL, but you would have to find an
|  inference tool for them.



|  IBL wrote -- here's how to do this in Internet Business Logic...



some-person does research into some-subject
that-subject is a sub topic of some-topic
-------------------------------------------
that-person does research into that-topic


some-subject is a sub topic of some-subject1
that-subject1 is a sub topic of some-topic
--------------------------------------------
that-subject is a sub topic of that-topic


this-item is a sub topic of this-topic
=========================================
Data Mining           Knowledge Discovery
Text Mining           Knowledge Discovery
Knowledge Discovery   Semantic Web


this-person does research into this-topic
==============================================
Adrian                     Knowledge Discovery
Bob                        Data Mining
Claire                     Text Mining


|  You can run this example, and get explanations of the results
|  by pointing a browser to www.reengineeringllc.com.
|  Click on ''Internet Business Logic'', then on the GO button,
|  and select the example OwlResearchOnt .



| This file is an application written in the language Executable English.
| You can view, run and change it by pointing a browser
| to www.reengineeringllc.com and selecting OwlResearchOnt.