[Pellet-users] Universal restriction

[Alex Pinheiro das Graças]

Hello,
I am creating a ontology in Jena and using the pellet as the reasoner. I am
having some problems with my ontology.
My complete owl ontology file is at the end of this e-mail. It is a simple
ontology to test some concepts.

Person
  |-> Client (Necessary/Sufficient: buy_from only store)
  |-> Employee
Store
Industry


I use the 'only' clause to restrict the class client.
Client:  buy_from only store. But when I run pellet it doesn't infer that
the individual Pessoa_10 is a client.

    <Person rdf:ID="Pessoa_10">
        <buy_from rdf:resource="#Loja_1"/>
    </Person>

but if I change the class Client to this:
Client:  buy_from some store it works.

But I'd like to use 'only' instead some. Why it doesn't works ? What am I
doing wrong?

Regards.

The client Class:
<owl:Class rdf:ID="Client">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="#buy_from"/>
                        <owl:allValuesFrom rdf:resource="#Store"/>
                    </owl:Restriction>
                    <owl:Class rdf:about="#Person"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>








-- OWL File --
<?xml version="1.0"?>


<!DOCTYPE rdf:RDF [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY p1 "http://www.owl-ontologies.com/assert.owl#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>


<rdf:RDF xmlns="http://www.owl-ontologies.com/Ontology1211517613.owl#"
     xml:base="http://www.owl-ontologies.com/Ontology1211517613.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:p1="http://www.owl-ontologies.com/assert.owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
    <owl:Ontology rdf:about=""/>
    <owl:ObjectProperty rdf:ID="buy_from"/>
    <owl:Class rdf:ID="Client">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="#buy_from"/>
                        <owl:allValuesFrom rdf:resource="#Store"/>
                    </owl:Restriction>
                    <owl:Class rdf:about="#Person"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:ID="Employee">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Class rdf:about="#Person"/>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="#works_for"/>
                        <owl:someValuesFrom rdf:resource="#Industry"/>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:Class rdf:ID="Industry">
        <owl:disjointWith rdf:resource="#Store"/>
        <owl:disjointWith rdf:resource="#Person"/>
    </owl:Class>
    <Store rdf:ID="Loja_1"/>
    <owl:Class rdf:ID="Person">
        <owl:disjointWith rdf:resource="#Industry"/>
    </owl:Class>
    <Person rdf:ID="Pessoa_10">
        <buy_from rdf:resource="#Loja_1"/>
    </Person>
    <owl:Class rdf:ID="Store">
        <owl:disjointWith rdf:resource="#Industry"/>
    </owl:Class>
    <owl:ObjectProperty rdf:ID="works_for"/>
</rdf:RDF>

-- OWL File --
-- 
Alex Pinheiro das Graças
UFES
Vitória, Brasil
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080526/1ac26fd3/attachment.htm