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-owl] How are Quantifiers / Cardinalities enforced by the Pellet Reasoner

Amrit T amrit.lists at
Thu May 22 11:47:43 PDT 2008

I am trying to enforce quantifier / cardinality restriction in a simple test
ontology <given below>.
a. With the quantifiers an "existential" quantifier on the property
requiring someValueFrom both classes 'B' and 'C' is enforced here. However
in the instance I attach A's individual to only B's individual. The resoner
doesnt point this out as an inconsistency. Why is that? Also if I dont use
this property to attach to any of the individuals, I only get a red box but
still no reasoner inconsistency by doing "Check Consistency".
b. Cardinality restriction of say at least one such relation are not
detected by the reasoner as an inconsistency if there are no such relations.
Again what I get is a red box surrounding the widget.
I am sure there is something wrong in my approach. Please advise.

<?xml version="1.0"?>
  <owl:Ontology rdf:about=""/>
  <owl:Class rdf:ID="B">
      <owl:Class rdf:ID="C"/>
  <owl:Class rdf:ID="A">
        <owl:intersectionOf rdf:parseType="Collection">
            <owl:someValuesFrom rdf:resource="#B"/>
              <owl:ObjectProperty rdf:ID="property"/>
              <owl:ObjectProperty rdf:about="#property"/>
              <owl:Class rdf:about="#C"/>
  <owl:Class rdf:about="#C">
    <owl:disjointWith rdf:resource="#B"/>
  <owl:ObjectProperty rdf:about="#property">
    <rdfs:domain rdf:resource="#A"/>
        <owl:unionOf rdf:parseType="Collection">
          <owl:Class rdf:about="#B"/>
          <owl:Class rdf:about="#C"/>
  <B rdf:ID="B1"/>
  <C rdf:ID="C1"/>
  <A rdf:ID="A1">
    <property rdf:resource="#B1"/>

<!-- Created with Protege (with OWL Plugin 3.4, Build 126) -->
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list