search

information-artifact-ontology / IAO

information artifact ontology
Creative Commons Attribution 4.0 International
70 stars 25 forks source link

is duration of is missing the inverse property has duration #238

Open keesvanbochove opened 3 years ago

keesvanbochove commented 3 years ago

IAO includes the term IAO_0000413 which 'relates a process to a time-measurement-datum that represents the duration of the process', but it doesn't include the inverse property which would be 'has duration'.

It would be useful to include this in the ontology for inference purposes, something like:

@prefix : <http://todo#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix specifies_value_of: <http://purl.obolibrary.org/obo/OBI_0001927> .
@prefix has_measurement_unit_label: <http://purl.obolibrary.org/obo/IAO_0000039> .

:has_duration
    rdf:type owl:ObjectProperty;
    rdfs:domain obo:BFO_0000015; # process
    owl:inverseOf <http://purl.obolibrary.org/obo/IAO_0000413>;
    rdfs:range [
    rdfs:subClassOf obo:OBI_0001931; # scalar value specification
    rdfs:subClassOf [
        owl:intersectionOf (
        [
            rdf:type owl:Restriction;
            owl:onProperty specifies_value_of:;
            owl:someValuesFrom obo:PATO_0000165; # time (quality)
        ]
        [
            rdf:type owl:Restriction;
            owl:onProperty has_measurement_unit_label:;
            owl:allValuesFrom obo:UO_0000003; # time unit
        ]
        )
    ]].