--- a
+++ b/ontologies/test_alternative_tools.owl
@@ -0,0 +1,680 @@
+<?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 -->
+