Download this file
test_alternative_tools.owl
681 lines (460 with data), 33.0 kB
<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [
<!ENTITY owl "http://www.w3.org/2002/07/owl#" >
<!ENTITY swrl "http://www.w3.org/2003/11/swrl#" >
<!ENTITY swrlb "http://www.w3.org/2003/11/swrlb#" >
<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
]>
<rdf:RDF xmlns="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#"
xml:base="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:swrl="http://www.w3.org/2003/11/swrl#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<owl:Ontology rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasSuccessor -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasSuccessor">
<rdf:type rdf:resource="&owl;ReflexiveProperty"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isAvailableIn -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isAvailableIn"/>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isConsistingOf -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isConsistingOf"/>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isIdentifiedBy -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isIdentifiedBy"/>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isInterpretedBy -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isInterpretedBy"/>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isProviding -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isProviding">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
<rdfs:subPropertyOf rdf:resource="&owl;topObjectProperty"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isReading -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isReading">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isUsing -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isUsing">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
</owl:ObjectProperty>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isWriting -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isWriting">
<rdf:type rdf:resource="&owl;AsymmetricProperty"/>
<rdf:type rdf:resource="&owl;IrreflexiveProperty"/>
</owl:ObjectProperty>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Data properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasCommandValue -->
<owl:DatatypeProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasCommandValue">
<rdf:type rdf:resource="&owl;FunctionalProperty"/>
</owl:DatatypeProperty>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasKey -->
<owl:DatatypeProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasKey"/>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasValue -->
<owl:DatatypeProperty rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasValue"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#AbstractAction -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#AbstractAction">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Action"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isWriting"/>
<owl:onClass rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Format"/>
<owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isReading"/>
<owl:onClass rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Format"/>
<owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Action -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Action"/>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#CommandInterpreter -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#CommandInterpreter"/>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#FileFormat -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#FileFormat">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Format"/>
</owl:Class>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Format -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Format">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isIdentifiedBy"/>
<owl:someValuesFrom rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#FormatRegistry"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#FormatRegistry -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#FormatRegistry">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Registry"/>
</owl:Class>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Registry -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Registry">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isConsistingOf"/>
<owl:someValuesFrom rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#RegistryEntry"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#RegistryEntry -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#RegistryEntry">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasKey"/>
<owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
<owl:onDataRange rdf:resource="&xsd;string"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasValue"/>
<owl:someValuesFrom rdf:resource="&xsd;string"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Strategy -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Strategy">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasSuccessor"/>
<owl:onClass rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Strategy"/>
<owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isUsing"/>
<owl:onClass rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Action"/>
<owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Tool -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Tool">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isProviding"/>
<owl:someValuesFrom rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ToolAction"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isIdentifiedBy"/>
<owl:someValuesFrom rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ToolRegistry"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ToolAction -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ToolAction">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Action"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasCommandValue"/>
<owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
<owl:onDataRange rdf:resource="&xsd;string"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isProviding"/>
<owl:onClass rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#AbstractAction"/>
<owl:qualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:qualifiedCardinality>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isInterpretedBy"/>
<owl:someValuesFrom rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#CommandInterpreter"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ToolRegistry -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ToolRegistry">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Registry"/>
</owl:Class>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#VirtualFormat -->
<owl:Class rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#VirtualFormat">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Format"/>
</owl:Class>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Individuals
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ci_bash -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ci_bash">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#CommandInterpreter"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ci_human -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ci_human">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#CommandInterpreter"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#conv_tex2pdf -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#conv_tex2pdf">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#AbstractAction"/>
<isWriting rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#pdf"/>
<isReading rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tex"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#conv_tex2pdf_tex2pdf -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#conv_tex2pdf_tex2pdf">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ToolAction"/>
<hasCommandValue>tex2pdf blah.{in} {out}</hasCommandValue>
<isInterpretedBy rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ci_bash"/>
<isProviding rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#conv_tex2pdf"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#fr_pdf_pronom -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#fr_pdf_pronom">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#FormatRegistry"/>
<isConsistingOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_pdf_pronom.name"/>
<isConsistingOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_pdf_pronom.version"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#fr_tex_general -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#fr_tex_general">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#FormatRegistry"/>
<isConsistingOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_tex_general.fileExtension"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#pdf -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#pdf">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#FileFormat"/>
<isIdentifiedBy rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#fr_pdf_pronom"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#print -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#print">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#VirtualFormat"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_evince_apt.package -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_evince_apt.package">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#RegistryEntry"/>
<hasValue>evince</hasValue>
<hasKey>apt.package</hasKey>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_pdf_pronom.name -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_pdf_pronom.name">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#RegistryEntry"/>
<hasKey>pronom.name</hasKey>
<hasValue>Acrobat PDF 1.7 - Portable Document Format</hasValue>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_pdf_pronom.version -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_pdf_pronom.version">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#RegistryEntry"/>
<hasValue>1.7</hasValue>
<hasKey>pronom.version</hasKey>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_tex2pdf_general.url -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_tex2pdf_general.url">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#RegistryEntry"/>
<hasValue>http://tex2pdf.berlios.de/</hasValue>
<hasKey>general.url</hasKey>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_tex_general.fileExtension -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_tex_general.fileExtension">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#RegistryEntry"/>
<hasValue>tex</hasValue>
<hasKey>general.fileExtension</hasKey>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#screen -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#screen">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#VirtualFormat"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#strat_pdf2screen -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#strat_pdf2screen">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Strategy"/>
<isUsing rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#view_pdf_evince"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#strat_tex2pdf -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#strat_tex2pdf">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Strategy"/>
<isUsing rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#conv_tex2pdf_tex2pdf"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tex -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tex">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#FileFormat"/>
<isIdentifiedBy rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#fr_tex_general"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tool_evince -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tool_evince">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Tool"/>
<isIdentifiedBy rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tr_evince_apt"/>
<isProviding rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#view_pdf_evince"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tool_tex2pdf -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tool_tex2pdf">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Tool"/>
<isProviding rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#conv_tex2pdf_tex2pdf"/>
<isIdentifiedBy rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tr_tex2pdf_general"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tr_evince_apt -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tr_evince_apt">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ToolRegistry"/>
<isConsistingOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_evince_apt.package"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tr_tex2pdf_general -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tr_tex2pdf_general">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ToolRegistry"/>
<isConsistingOf rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_tex2pdf_general.url"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#view_pdf -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#view_pdf">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#AbstractAction"/>
<isReading rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#pdf"/>
<isWriting rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#screen"/>
</owl:NamedIndividual>
<!-- http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#view_pdf_evince -->
<owl:NamedIndividual rdf:about="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#view_pdf_evince">
<rdf:type rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ToolAction"/>
<hasCommandValue>evince {1}</hasCommandValue>
<isInterpretedBy rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#ci_bash"/>
<isProviding rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#view_pdf"/>
</owl:NamedIndividual>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Rules
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<rdf:Description rdf:about="urn:swrl#t">
<rdf:type rdf:resource="&swrl;Variable"/>
</rdf:Description>
<rdf:Description rdf:about="urn:swrl#v">
<rdf:type rdf:resource="&swrl;Variable"/>
</rdf:Description>
<rdf:Description rdf:about="urn:swrl#a">
<rdf:type rdf:resource="&swrl;Variable"/>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="&swrl;Imp"/>
<swrl:head>
<rdf:Description>
<rdf:type rdf:resource="&swrl;AtomList"/>
<rdf:rest rdf:resource="&rdf;nil"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="&swrl;DifferentIndividualsAtom"/>
<swrl:argument2 rdf:resource="urn:swrl#a"/>
<swrl:argument1 rdf:resource="urn:swrl#t"/>
</rdf:Description>
</rdf:first>
</rdf:Description>
</swrl:head>
<swrl:body>
<rdf:Description>
<rdf:type rdf:resource="&swrl;AtomList"/>
<rdf:rest>
<rdf:Description>
<rdf:type rdf:resource="&swrl;AtomList"/>
<rdf:rest rdf:resource="&rdf;nil"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="&swrl;ClassAtom"/>
<swrl:classPredicate rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Tool"/>
<swrl:argument1 rdf:resource="urn:swrl#t"/>
</rdf:Description>
</rdf:first>
</rdf:Description>
</rdf:rest>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="&swrl;ClassAtom"/>
<swrl:classPredicate rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#Action"/>
<swrl:argument1 rdf:resource="urn:swrl#a"/>
</rdf:Description>
</rdf:first>
</rdf:Description>
</swrl:body>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="&swrl;Imp"/>
<swrl:body>
<rdf:Description>
<rdf:type rdf:resource="&swrl;AtomList"/>
<rdf:rest rdf:resource="&rdf;nil"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="&swrl;DatavaluedPropertyAtom"/>
<swrl:propertyPredicate rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasKey"/>
<swrl:argument1 rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_pdf_pronom.version"/>
<swrl:argument2 rdf:resource="urn:swrl#v"/>
</rdf:Description>
</rdf:first>
</rdf:Description>
</swrl:body>
<swrl:head>
<rdf:Description>
<rdf:type rdf:resource="&swrl;AtomList"/>
<rdf:rest rdf:resource="&rdf;nil"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="&swrl;DatavaluedPropertyAtom"/>
<swrl:argument2>pronom.version</swrl:argument2>
<swrl:propertyPredicate rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#hasKey"/>
<swrl:argument1 rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#re_pdf_pronom.version"/>
</rdf:Description>
</rdf:first>
</rdf:Description>
</swrl:head>
</rdf:Description>
<rdf:Description>
<rdf:type rdf:resource="&swrl;Imp"/>
<swrl:body>
<rdf:Description>
<rdf:type rdf:resource="&swrl;AtomList"/>
<rdf:rest rdf:resource="&rdf;nil"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="&swrl;IndividualPropertyAtom"/>
<swrl:propertyPredicate rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#isProviding"/>
<swrl:argument2 rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#view_pdf_evince"/>
<swrl:argument1 rdf:resource="urn:swrl#t"/>
</rdf:Description>
</rdf:first>
</rdf:Description>
</swrl:body>
<swrl:head>
<rdf:Description>
<rdf:type rdf:resource="&swrl;AtomList"/>
<rdf:rest rdf:resource="&rdf;nil"/>
<rdf:first>
<rdf:Description>
<rdf:type rdf:resource="&swrl;SameIndividualAtom"/>
<swrl:argument2 rdf:resource="http://www.semanticweb.org/johannes/ontologies/2013/6/untitled-ontology-20#tool_evince"/>
<swrl:argument1 rdf:resource="urn:swrl#t"/>
</rdf:Description>
</rdf:first>
</rdf:Description>
</swrl:head>
</rdf:Description>
</rdf:RDF>
<!-- Generated by the OWL API (version 3.4.2) http://owlapi.sourceforge.net -->