[Pellet-users] Problems with cardinality consistency checking

[Maxime Pelcat]

Dear Brandon and Pellet experts,

Thanks a lot for the previous answer, it explains the
conception problem we had. However, we still fail in
making our ontology work because the min cardinality
is not yet checked by Pellet as we would like. The previous
given example works correctly (a chair can not have 5 legs).
But, when we try to create a chair with 3 legs, Pellet finds
our owl consistent. I join the example:

<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:p1="http://www.owl-ontologies.com/assert.owl#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns="http://ietr-image.insa-rennes.fr/public/test.owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xml:base="http://ietr-image.insa-rennes.fr/public/test.owl">
  <owl:Ontology rdf:about=""/>
  <owl:Class rdf:ID="Chair">
    <rdfs:subClassOf>
      <owl:Restriction>
        
        >4</owl:cardinality>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="hasLegs"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    http://www.w3.org/2002/07/owl#Thing"/>
  </owl:Class>
  <owl:Class rdf:ID="Leg"/>
  <owl:ObjectProperty rdf:about="#hasLegs">
    <rdfs:range rdf:resource="#Leg"/>
    <rdfs:domain rdf:resource="#Chair"/>
  </owl:ObjectProperty>
  <owl:AllDifferent>
    <owl:distinctMembers rdf:parseType="Collection">
      <Leg rdf:ID="Leg_4"/>
      <Leg rdf:ID="Leg_3"/>
      <Leg rdf:ID="Leg_2"/>
      <Leg rdf:ID="Leg_5"/>
      <Leg rdf:ID="Leg_1"/>
    </owl:distinctMembers>
  </owl:AllDifferent>
  <Chair rdf:ID="Chair_1">
    <hasLegs rdf:resource="#Leg_2"/>
    <hasLegs rdf:resource="#Leg_3"/>
    <hasLegs rdf:resource="#Leg_4"/>
  </Chair>
</rdf:RDF>



Sorry to bother once more but can you tell me what goes wrong and if I can really check 
with owl what I am trying to check (a class with a property on exactly a number of given 
instances)?

We also tried with a collection of possible legs but the answer was the same:

<owl:Class rdf:ID="Leg">
    <owl:equivalentClass>
      <owl:Class>
        <owl:oneOf rdf:parseType="Collection">
          <Leg rdf:ID="Leg_1"/>
          <Leg rdf:ID="Leg_2"/>
          <Leg rdf:ID="Leg_3"/>
          <Leg rdf:ID="Leg_4"/>
          <Leg rdf:ID="Leg_5"/>
        </owl:oneOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>

Thanks,
Maxime




      _____________________________________________________________________________ 
Ne gardez plus qu'une seule adresse mail ! Copiez vos mails vers Yahoo! Mail 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20071030/c5a47ca7/attachment.htm