RE: RDF validity question

No. In short,  ranges and domains are for stating things about properties (Tbox/schema) and not about instances of classes.

If you want to reify the predicate, you could do so using:

  1.  rdf:Statement in RDF
  2.  owl:Axiom in OWL2,
  3.  define your owl owl:Class that will represent the relationship. E.g. my:HasPartRelation a owl:Class, with possible subclass HasActuatorRelation or some such.

What is it you want your date/time to indicate?

Very respectfully,
Mark


From: hans.teijgeler@quicknet.nl <hans.teijgeler@quicknet.nl>
Sent: Thursday, August 25, 2022 2:27 PM
To: semantic-web@w3.org
Subject: RDF validity question

Hi,

I am trying to reify predicates in a different way, and I need to know whether this is valid RDF.

Assume I define an rdf:Property:

ont:hasPart
    rdf:type owl:ObjectProperty ;
    rdfs:domain rdl:Artefact ;
    rdfs:range rdl:Artefact .

ont:valveHasActuator
    rdf:type owl:ObjectProperty ;
    rdfs:subPropertyOf ont:hasPart ;
    rdfs:domain rdl:Valve ;
    rdfs:range rdl:ValveActuator .

Then I have project information that tells that individual valve actuator 84128 is a part of individual valve 34543, effective that dateTime.

ex:76329
    rdf:type ont:valveHasActuator ;
    rdfs:domain ex:34543 ; # myValve
    rdfs:range ex:84128 ;   # myValveActuator
    meta:effectiveDate "2022-08-24T10:42:00Z"^^xsd:dateTime .

Is this semantically and syntactically correct RDF? (it passed the syntactic test).

I hope to hear from you!

(sorry Guus, I need the answer asap)