@prefix rdf:        <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:       <http://www.w3.org/2000/01/rdf-schema#> .
@prefix dc:         <http://purl.org/dc/elements/1.1/> .
@prefix dtype:      <http://www.w3.org/2001/XMLSchema#> . 

# Trust Policy Language Namespace
@prefix :       <http://www.wiwiss.fu-berlin.de/suhl/bizer/ExplanationLanguage/> .

# -----------------------------------------------
# About this document
<> rdfs:comment     "Explanation Language (EXPL 0.1)" ;
   dc:creator       "Chris Bizer" ;
   dc:subject       "" ;
   dc:publisher     "" ;
   dc:title         "" ;
   dc:description   "" ;
   dc:date          "2004-09-15" ;
   dc:format        "RDF" ;
   dc:identifier    <> ;
   .


# -----------------------------------------------
# Explanation
# -----------------------------------------------

:Explanation	 	rdf:type rdfs:Class ;
    						rdfs:comment "An explanation." 
    						.
    						
:statement    	rdf:type rdf:Property ;
    						rdfs:comment "The statement, whos trustworthiness is explained." 
								rdfs:domain :Explanation;
            		rdfs:range rdf:Statement
            		.
            		
:policy         rdf:type rdf:Property ;
    			    	rdfs:comment "Which policy has been used." 
	 							rdfs:domain :Explanation;
            		rdfs:range :TrustPolicy
            		.
            		
:parts			 		rdf:type rdf:Property ;
    						rdfs:comment "The parts of this explanation." 
					  		# rdfs:domain :Explanation or :ExplanationPart;
            		rdfs:range :ExplanationPart
            		.

# -----------------------------------------------
# Explanation Part
# -----------------------------------------------

            		
:ExplanationPart 	rdf:type rdfs:Class ;
								rdfs:subClassOf rdf:Seq ;
    						rdfs:comment "Seq of actual explanations." .
					
:subexplanation rdf:type rdf:Property ;
    						rdfs:comment "A subexplanation created by a METRIC clause." 
								rdfs:domain :ExplanationPart;
            		rdfs:range :Explanation;
            		.

:TextExplanationPart rdf:type rdfs:Class ;
                rdfs:subClassOf :ExplanationPart ;
    				 		rdfs:comment "An part of a text explanation." .					

:RDFExplanationPart rdf:type rdfs:Class ;
                rdfs:subClassOf :ExplanationPart ;
    				 		rdfs:comment "An part of an RDF explanation." .