Hi all, I wonder if you could shed some light on the following.
I have a class that contains instances like those listed below
:BS_7671_2008_11
a :TextExtract ;
rdfs:label "Chapter 11"^^xsd:string ;
:hasChapterHeading "SCOPE"^^xsd:string ;
:hasChapterNumber 1 ;
:hasPartNumber 1 ;
:hasRegulationNumber
"110"^^xsd:string ;
:hasSource :PublishedBook_BS_7671_2008 .
and
:BS_7671_2008_110_1
a :TextExtract ;
rdfs:label "BS_7671_2008_110_1"^^xsd:string ;
:hasChapterNumber 1 ;
:hasHeading "General"^^xsd:string ;
:hasPartNumber 1 ;
:hasRegulationNumber
"110.1"^^xsd:string ;
:hasSectionNumber 0 ;
:hasSource :PublishedBook_BS_7671_2008 ;
:hasSubSectionNumber
1 .
I have created a class called Chapter_1 to which I applied the
following owl:equivalentClass restriction
(hasChapterNumber value 1)
and (hasSectionNumber exactly 0)
which after inferencing returns no members, if however I use
hasChapterNumber value 1 or
(hasChapterNumber value 1)
and (hasSectionNumber value 0)
I get the expected results.
Can you clarify whether or not it is my logic or lack of knowledge
that is at fault here.
All I want to do is be able to fill a class with those instances that
have a chapterNumber of one and no sectionNumber, ie not a value of
but the specific lack of a property , reading the Owl specifications
it states
3.1.2.2 Cardinality constraints
In OWL, like in RDF, it is assumed that any instance of a class may
have an arbitrary number (zero or more) of values for a particular
property. To make a property required (at least one), to allow only a
specific number of values for that property, or to insist that a
property must not occur, cardinality constraints can be used. OWL
provides three constructs for restricting the cardinality of
properties locally within a class context.
NOTE: OWL Lite includes the use of all three types of cardinality
constraints, but only when used with the values "0" or "1".
What am i doing wrong, your continued help is much appreciated.
Regards
John
--
You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include TopBraid Composer,
TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN.
To post to this group, send email to
[email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/topbraid-users?hl=en
