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-discussion] Simple and nooby question about inference in Protegé

Nick Drummond nick.drummond at
Tue Mar 25 07:26:02 PDT 2008


Its not clear which version of Protege you are using for running your  
You should post any Protege3.x OWL/SWRL questions in the protege-owl  
list [1]
Or Protege4.x questions in the protege4.0feedback list [2].

I'm no SWRL expert, but it seems you could get your expected behaviour  
by just using equivalent classes in OWL.
Parent  = Person and (hasChild some Thing)
There is an example ontology here [3]



On 25 Mar 2008, at 10:48, Matteo Montalto wrote:

> Hello to you all, list :)
> I'm a newbie and I'm using Protegé (4.0, build 58) to create/modify  
> owl
> ontologies in order to use them in my actual thesis work (that is, a
> work based on Jena framework managing SWRL rules).
> Well, a very simple question: I sketched a very basilar and simple
> "family" ontology in order to check the behaviour of some rules.
> As an example:
> - Person is a subClass of (owl:)Thing;
> - Parent is a subClass of Person;
> - Stephanie is a Person; she's also subject in a property assertion,
> stating that hasChild (Stephanie, Sara) (meaning trivially that Sara  
> is
> Stephanie's son);
> Now; i tried to create a rule (in SWRL Rules tab) in order to check  
> out
> owl:restriction constructs in rules. So, the rule is simple:
> (hasChild min 1 Thing)(?x) -> Parent(?x)
> that in my idea :) means:
> "everything that is the subject in at least one property assertion of
> hasChild *is* a parent". Is it correct?
> Assuming it's correct; I expected, after a realize phase (Reasoner ->
> Pellet 1.5), to see under Description: Stephanie that Stephanie  
> belongs
> to the class Parent. But that's not the case, Stephanie belongs only  
> to
>  Person... can someone help me realizing what's the problem in this
> simple test?
> Thanks in advance ;)
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at
> Instructions for unsubscribing:

More information about the protege-discussion mailing list