Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Inferring using Fact ++

Chema . at
Thu Apr 5 10:15:19 PDT 2007

Hi Arshan, this topic was commented a few days ago, the problem is that
sparql in protege works with the open model of ontologies, only classes and
instances defined by user.
If you use a reasoner to extract inferred instances, classes o relations can
not be fetched by sparql engine.

The solution is close the model and then run queries but i think that
protege doesn't let this feature so your query with sparql doesn't obtain
the expected result.

My suggestions are:

1-Only Protege, the first approach to run this queries is saved the inferred
ontology as "name.owl" and after load it with the menu "Creating project
from existing resources", this ontology contains inferred and declared
instances or classes. Now, sparql engine can be perform your query.

2-Only Protege, In previous thread, an user commented that Queries tab let
us make this queries if the need of save the inferred ontology. I have not
tested it.

3-No Protege, If you need this kind of queries to be used inside a program I
suggest you use Jena with reasoners as Pellet or Racer and Arq to get data,
the problem, in that case, is that you should pogramme in Java, but you can
close the model.

Bye, Chema.

On 4/5/07, Arshan <arshan_v at> wrote:
> Dear All
> I am using Protege 3.2.1 and FaCT++ 1.1.4.
> I have defined one class in my taxonomy, called Person. I defined only one
> property called fatherOf which is transitive. I set its Domain and Range
> as
> Perosn.
> Then I defined three individuals:
> Jack
> Peter
> David
> Jack is fatherOf Peter
> Peter is fatherOf David.
> I click classify taxonomy. Fact++ window opens and runs without problems.
> Then I run the following query in SPARQL window:
> Prefix kb:  <>
> Select ?m ?n
> Where {?m kb:fatherOf ?n.
>                       }
> I see as the result
> Jack fatherof Peter
> Peter fatherof David
> But I do not see Jack father of David. Even though father of is transitive
> and
> I have run the reasoner before querying.
> Could you please help me?  I extremely appreciate your help .
> Thank you in advance
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list