<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata="http://data.bioontology.org/metadata/" xmlns:ns1="http://www.ontologydesignpatterns.org/cp/owl/">
  <owl:Class rdf:about="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation">
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    <rdfs:comment>A view on a set of entities. It can be seen as a 'relational context', reifying a relation.
For example, a PlanExecution is a context including some actions executed by agents according to certain parameters and expected tasks to be achieved from a Plan; a DiagnosedSituation is a context of observed entities that is interpreted on the basis of a Diagnosis, etc.
Situation is also able to represent reified n-ary relations, where isSettingFor is the top-level relation for all binary projections of the n-ary relation. If used in a transformation pattern for n-ary relations, the designer should take care of:
- creating only one situation for each instance of an n-ary relation, otherwise the 'identification constraint' (Calvanese et al., IJCAI 2001) could be violated
- adding an 'exact cardinality' restriction corresponding to the arity of the n-ary relation, otherwise the designer would actually represent a polymorphic relation.</rdfs:comment>
    <rdfs:label xml:lang="en">Situation</rdfs:label>
    <metadata:prefixIRI>situation:Situation</metadata:prefixIRI>
    <metadata:def/prefLabel xml:lang="en">Situation</metadata:def/prefLabel>
    <metadata:def/mappingLoom>situation</metadata:def/mappingLoom>
    <metadata:def/mappingSameURI rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation"/>
    <rdfs:isDefinedBy rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/situation.owl"/>
  </owl:Class>
  <rdf:Description rdf:about="http://purl.org/spar/cito/Citation">
    <rdfs:subClassOf>
      <rdf:Description rdf:about="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation">
        <metadata:def/mappingSameURI rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation"/>
      </rdf:Description>
    </rdfs:subClassOf>
  </rdf:Description>
  <rdf:Description rdf:about="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting">
    <rdfs:range rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation"/>
  </rdf:Description>
  <rdf:Description rdf:about="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor">
    <rdfs:domain rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation"/>
  </rdf:Description>
</rdf:RDF>
 
 
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata="http://data.bioontology.org/metadata/" xmlns:ns1="http://www.ontologydesignpatterns.org/cp/owl/">
  <owl:Class rdf:about="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation">
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    <rdfs:comment>A view on a set of entities. It can be seen as a 'relational context', reifying a relation.
For example, a PlanExecution is a context including some actions executed by agents according to certain parameters and expected tasks to be achieved from a Plan; a DiagnosedSituation is a context of observed entities that is interpreted on the basis of a Diagnosis, etc.
Situation is also able to represent reified n-ary relations, where isSettingFor is the top-level relation for all binary projections of the n-ary relation. If used in a transformation pattern for n-ary relations, the designer should take care of:
- creating only one situation for each instance of an n-ary relation, otherwise the 'identification constraint' (Calvanese et al., IJCAI 2001) could be violated
- adding an 'exact cardinality' restriction corresponding to the arity of the n-ary relation, otherwise the designer would actually represent a polymorphic relation.</rdfs:comment>
    <rdfs:label xml:lang="en">Situation</rdfs:label>
    <metadata:prefixIRI>situation:Situation</metadata:prefixIRI>
    <metadata:def/prefLabel xml:lang="en">Situation</metadata:def/prefLabel>
    <metadata:def/mappingLoom>situation</metadata:def/mappingLoom>
    <metadata:def/mappingSameURI rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation"/>
    <rdfs:isDefinedBy rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/situation.owl"/>
  </owl:Class>
  <rdf:Description rdf:about="http://purl.org/spar/cito/Citation">
    <rdfs:subClassOf>
      <rdf:Description rdf:about="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation">
        <metadata:def/mappingSameURI rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation"/>
      </rdf:Description>
    </rdfs:subClassOf>
  </rdf:Description>
  <rdf:Description rdf:about="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#hasSetting">
    <rdfs:range rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation"/>
  </rdf:Description>
  <rdf:Description rdf:about="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#isSettingFor">
    <rdfs:domain rdf:resource="http://www.ontologydesignpatterns.org/cp/owl/situation.owl#Situation"/>
  </rdf:Description>
</rdf:RDF>