Search Mailing List Archives
[protege-discussion] Simple and nooby question about inference in Protegé
nick.drummond at cs.manchester.ac.uk
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
Or Protege4.x questions in the protege4.0feedback list .
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 
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
> 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
> Stephanie's son);
> Now; i tried to create a rule (in SWRL Rules tab) in order to check
> 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
> to the class Parent. But that's not the case, Stephanie belongs only
> Person... can someone help me realizing what's the problem in this
> simple test?
> Thanks in advance ;)
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
More information about the protege-discussion