@prefix s: <http://www.w3.org/2000/01/rdf-schema#> .

@prefix sumo: <http://www.ontologyportal.org/translations/SUMO.owl#>.

@prefix   : <http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#>.
@prefix ev: <http://www.w3.org/2001/tag/2006/ext-vers/ext-vers-uml#>.

# A language and a text determine the intent/impact of a communication
{
  ?C1 ev:text ?D; :language ?L; :intent ?I.
  ?C2 ev:text ?D; :language ?L.
} => { ?C2 :intent ?I }.



:sublanguage s:label "sublanguage"; sumo:partialOrderingOn :Language;
  s:comment "was: subset";
  s:comment """one language is a sublanguage (or "profile") of a
        second language if any text in the first language is also a
        valid text in the second language and has the same
        interpretation in the second language.""",
     """HTML2 is a sublanguage of HTML3.2 and HTML4,
      or rather: the languages you get when you strip off the
      <!DOCTYPE> delcarations have this relationship""".
{ 
  [] ev:text ?TXT; :language [ is :sublanguage of ?BIG ]; :intent ?I.
  ?COMM a ev:Act_of_Consumption;
    ev:text ?TXT; :language ?BIG.
} => { ?COMM :impact ?I }.
{ 
  [] ev:text ?TXT; :language ?BIG; :intent ?I.
  ?COMM a ev:Act_of_Consumption;
    ev:text ?TXT; :language [ is :sublanguage of ?BIG ].
} => { ?COMM :impact ?I }.
#@@ should do the only-iff part of this defn to.

:stateCommunication s:label "state communication";
  s:domain :InformationResource; s:range :Communication;
  s:comment """we say ?RES has :stateCommunication ?C when
   ?C is a communication that conveys the state, i.e.
   a representation of ?RES; e.g. a 200 OK response to an HTTP GET, or
   an HTTP PUT.""".