View unanswered posts | View active topics It is currently Mon Jul 16, 2018 2:32 pm



Reply to topic  [ 4 posts ] 
 Literal role restriction by value for specialized template 
Author Message

Joined: Mon Feb 27, 2012 11:01 pm
Posts: 282
Location: Moscow, Russia
Part 7 allows creation of specialized template with role restricted by value with a literal (with some instance of one of classes of EXPRESS information representation).

As far as I understand, this possibility was lost in move to Part 8 RDF/OWL representation of templates. I don't see how I can describe restriction with specific value for a literal role of a specialized template.

Is it possible?


Sat Sep 29, 2012 2:07 pm
Profile WWW

Joined: Sun Jan 22, 2012 9:14 pm
Posts: 189
I never considered it to be used but also not to be disallowed.

Why do you think it is not allowed in part 8?


Mon Oct 01, 2012 1:21 pm
Profile

Joined: Sun Jan 22, 2012 10:02 pm
Posts: 283
At several places a statement is made that in OWL the object (in a predicate) must be either a data literal, a URI reference, or an individual.
That literal only applies to DatatypeProperty. Quoted from W3C:
Quote:
A datatype property is one of two main categories of properties. It links individuals to data values, and is defined as an instance of the built-in OWL class owl:DatatypeProperty.
<owl:DatatypeProperty rdf:about="#timeStamp">
<rdfs:domain rdf:resource="#Measurement"/>
<rdf:range rdf:resource="&xsd;dateTime"/>
</owl:DatatypeProperty>

That &xsd;dateTime is such a literal.

For all ObjectProperty's we refer to a URI.
Quoted from W3C:
Quote:
An object property is one of two main categories of properties. It links individuals to individuals, and is defined as an instance of the built-in OWL class owl:ObjectProperty. This defines a property with the restriction that its values should be individuals.
<rdfs:domain rdf:resource="#MotorVehicle"/>
<rdfs:range rdf:resource="#Person"/>

Individuals, like in this example are, in our world, hidden behind a URI instead of using their Name.


Mon Oct 01, 2012 3:45 pm
Profile

Joined: Mon Feb 27, 2012 11:01 pm
Posts: 282
Location: Moscow, Russia
Restriction by value is structured like that, if we use URI of something as a restriction by value:

<owl:Restriction>
<owl:onProperty rdf:resource="http://example.org/tpl#role2" />
<owl:someValuesFrom>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<rdf:Description rdf:about="http://rds.posccaesar.org/2008/06/OWL/RDL#RDS8642940" />
</owl:oneOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>

OWL specs say that

Quote:
An enumeration is a owl:oneOf element, containing a list of the objects that are its instances.


Datatype values are not instances, therefore I'm assuming that construct

<owl:Restriction>
<owl:onProperty rdf:resource="http://example.org/tpl#role2" />
<owl:someValuesFrom>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<xsd:decimal rdf:value="10.5"/>
</owl:oneOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>

is not allowed.

Am I mistaken?


Tue Oct 02, 2012 11:07 pm
Profile WWW
Display posts from previous:  Sort by  
Reply to topic   [ 4 posts ] 

Who is online

Users browsing this forum: No registered users and 1 guest


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
cron
eXTReMe Tracker
Powered by phpBB® Forum Software © phpBB Group
Designed by ST Software.