[protege-user] reasoner performance swrl subproperties

[KoenigLear]

Hi,

Why is a reasoner slower when using subProperties in the following
scenario:

working ontology (11000ms)
rule1 -> property1(?a,?b)
rule 2 -> property1(?a,?c)


very slow ontology (412252 ms )
rule1 -> supProperty1(?a,?b)
rule2 -> subProperty2(?a,?b)

where

subProperty1 rdfs:SubPropertyOf property1 . and
subProperty2 rdfs:subPropertyOf property2 .

I'm using Pellet if it makes a difference. I'm trying to understand if this
is a conceptual rather than implementation issue.

thanks,

ps. propertyTest.owl
<http://protege-project.136.n4.nabble.com/file/t376956/propertyTest.owl>
is a sample although it does not suffer from the performance issues of my
production ontology.




--
Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html