IRI: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sit: <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#> .
@prefix ti: <http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl#> .
@prefix tisit: <http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#> .
<http://purl.org/spar/tvc> {
tisit:atTime a owl:ObjectProperty ;
rdfs:label "at time"@en ;
rdfs:comment "The relation between a time-indexed situation and a time interval."@en ;
rdfs:domain tisit:TimeIndexedSituation ;
rdfs:isDefinedBy tisit: ;
rdfs:range ti:TimeInterval ;
rdfs:subPropertyOf sit:isSettingFor .
}
[
{
"@graph": [
{
"@id": "http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime",
"@type": [
"http://www.w3.org/2002/07/owl#ObjectProperty"
],
"http://www.w3.org/2000/01/rdf-schema#comment": [
{
"@language": "en",
"@value": "The relation between a time-indexed situation and a time interval."
}
],
"http://www.w3.org/2000/01/rdf-schema#domain": [
{
"@id": "http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#TimeIndexedSituation"
}
],
"http://www.w3.org/2000/01/rdf-schema#isDefinedBy": [
{
"@id": "http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#"
}
],
"http://www.w3.org/2000/01/rdf-schema#label": [
{
"@language": "en",
"@value": "at time"
}
],
"http://www.w3.org/2000/01/rdf-schema#range": [
{
"@id": "http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl#TimeInterval"
}
],
"http://www.w3.org/2000/01/rdf-schema#subPropertyOf": [
{
"@id": "http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor"
}
]
}
],
"@id": "http://purl.org/spar/tvc"
}
]<http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime> <http://www.w3.org/2000/01/rdf-schema#domain> <http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#TimeIndexedSituation> <http://purl.org/spar/tvc> .
<http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#> <http://purl.org/spar/tvc> .
<http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor> <http://purl.org/spar/tvc> .
<http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> <http://purl.org/spar/tvc> .
<http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime> <http://www.w3.org/2000/01/rdf-schema#label> "at time"@en <http://purl.org/spar/tvc> .
<http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl#TimeInterval> <http://purl.org/spar/tvc> .
<http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime> <http://www.w3.org/2000/01/rdf-schema#comment> "The relation between a time-indexed situation and a time interval."@en <http://purl.org/spar/tvc> .