<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:vs="http://www.w3.org/2003/06/sw-vocab-status/ns#"
    xmlns:amt="http://academic-meta-tool.xyz/vocab#"
    xmlns:wot="http://xmlns.com/wot/0.1/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:time="http://www.w3.org/2006/time#">
    <!-- Metadata -->
    <owl:Ontology rdf:about="http://academic-meta-tool.xyz/vocab#" dc:licence="http://creativecommons.org/licenses/by/4.0/">
        <dc:created rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2018-01-19</dc:created>
        <dc:description xml:lang="en">The Academic Meta Tool Vocabulary</dc:description>
        <dc:title xml:lang="en">The Academic Meta Tool Vocabulary</dc:title>
        <owl:versionInfo>Penny</owl:versionInfo>
        <dc:creator>Florian Thiery (Römisch-Germanisches Zentralmuseum Mainz)</dc:creator>
        <dc:creator>Martin Unold (Institute for Spatial Information and Surveying Technology, Hochschule Mainz University of Applied Sciences)</dc:creator>
    </owl:Ontology>
    <!-- Classes -->
    <!-- Concept &. Role -->
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#Concept" rdfs:label="Concept" rdfs:comment="A node which is part of a triple with a vague edge." vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#Role" rdfs:label="Role" rdfs:comment="A vague edge which is part of a triple." vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <!-- Logics -->
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#Logic" rdfs:label="Logic" rdfs:comment="A logic which is not instance-able by custom logics" vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#LukasiewiczLogic" rdfs:label="Lukasiewicz Logic" rdfs:comment="Lukasiewicz Logic: Math.max(x+y-1,0)" vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://academic-meta-tool.xyz/vocab#Logic"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#ProductLogic" rdfs:label="Product Logic" rdfs:comment="Product Logic: x*y" vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://academic-meta-tool.xyz/vocab#Logic"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#GoedelLogic" rdfs:label="GoedelLogic" rdfs:comment="Goedel Logic: Math.min(x,y)" vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://academic-meta-tool.xyz/vocab#Logic"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <!-- Axioms -->
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#Axiom" rdfs:label="Axiom" rdfs:comment="A statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments." vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://www.w3.org/2000/01/rdf-schema#Class"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#InferenceAxiom" rdfs:label="Inference Axiom" rdfs:comment="An axiom to make inferences." vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://academic-meta-tool.xyz/vocab#Axiom"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#IntegrityAxiom" rdfs:label="Integrity Axiom" rdfs:comment="An axiom to check integrety." vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://academic-meta-tool.xyz/vocab#Axiom"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#RoleChainAxiom" rdfs:label="Role-Chain-Axiom" rdfs:comment="An axiom to make inferences of a three concept and two weighted role chain by transitivity." vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://academic-meta-tool.xyz/vocab#InferenceAxiom"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#InverseAxiom" rdfs:label="Inverse-Axiom" rdfs:comment="An axiom to describe two inverse roles." vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://academic-meta-tool.xyz/vocab#InferenceAxiom"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#DisjointAxiom" rdfs:label="Disjoint-Axiom" rdfs:comment="An axiom to describe disjoint roles." vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://academic-meta-tool.xyz/vocab#IntegrityAxiom"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <rdfs:Class rdf:about="http://academic-meta-tool.xyz/vocab#SelfDisjointAxiom" rdfs:label="Self-Disjoint-Axiom" rdfs:comment="An axiom to describe self-disjoint roles." vs:term_status="stable">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>
        <rdfs:subClassOf><owl:Class rdf:about="http://academic-meta-tool.xyz/vocab#IntegrityAxiom"/></rdfs:subClassOf>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdfs:Class>
    <!-- Properties -->
    <!-- Properties: Concept -->
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#placeholder" vs:term_status="stable" rdfs:label="placeholder" rdfs:comment="Placeholder for a concept name.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#Concept"/>
        <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#instanceOf" vs:term_status="stable" rdfs:label="instance Of" rdfs:comment="Instance of a Concept.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#Concept"/>
        <rdfs:range rdf:resource="http://academic-meta-tool.xyz/vocab#Concept"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <!-- rdfs:label -->
    <!-- Properties: Role -->
    <!-- rdfs:label -->
    <!-- rdfs:domain -->
    <!-- rdfs:range -->
    <!-- Properties: RoleChainAxiom -->
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#antecedent1" vs:term_status="stable" rdfs:label="antecedent1" rdfs:comment="Edge one of the Role-Chain-Axiom.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#RoleChainAxiom"/>
        <rdfs:range rdf:resource="http://academic-meta-tool.xyz/vocab#Role"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#antecedent2" vs:term_status="stable" rdfs:label="antecedent2" rdfs:comment="Edge two of the Role-Chain-Axiom.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#RoleChainAxiom"/>
        <rdfs:range rdf:resource="http://academic-meta-tool.xyz/vocab#Role"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#consequent" vs:term_status="stable" rdfs:label="consequent" rdfs:comment="Conclution of the Role-Chain-Axiom.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#RoleChainAxiom"/>
        <rdfs:range rdf:resource="http://academic-meta-tool.xyz/vocab#Role"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#logic" vs:term_status="stable" rdfs:label="logic" rdfs:comment="Logic of the Role-Chain-Axiom.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#RoleChainAxiom"/>
        <rdfs:range rdf:resource="http://academic-meta-tool.xyz/vocab#Logic"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <!-- Properties: InverseAxiom -->
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#antecedent" vs:term_status="stable" rdfs:label="antecedent" rdfs:comment="Way there of the Inverse-Axiom.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#InverseAxiom"/>
        <rdfs:range rdf:resource="http://academic-meta-tool.xyz/vocab#Role"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#inverse" vs:term_status="stable" rdfs:label="inverse" rdfs:comment="Way back of the Inverse-Axiom.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#InverseAxiom"/>
        <rdfs:range rdf:resource="http://academic-meta-tool.xyz/vocab#Role"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <!-- Properties: DisjointAxiom -->
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#role1" vs:term_status="stable" rdfs:label="role1" rdfs:comment="First role of the Disjoint-Axiom.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#DisjointAxiom"/>
        <rdfs:range rdf:resource="http://academic-meta-tool.xyz/vocab#Role"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#role2" vs:term_status="stable" rdfs:label="role2" rdfs:comment="Second role of the Disjoint-Axiom.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#DisjointAxiom"/>
        <rdfs:range rdf:resource="http://academic-meta-tool.xyz/vocab#Role"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <!-- Properties: SelfDisjointAxiom -->
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#role" vs:term_status="stable" rdfs:label="role" rdfs:comment="Role of the Self-Disjoint-Axiom.">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
        <rdfs:domain rdf:resource="http://academic-meta-tool.xyz/vocab#SelfDisjointAxiom"/>
        <rdfs:range rdf:resource="http://academic-meta-tool.xyz/vocab#Role"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
    <!-- Properties: Quadruple -->
    <!-- rdf:subject -->
    <!-- rdf:predicate -->
    <!-- rdf:object -->
    <rdf:Property rdf:about="http://academic-meta-tool.xyz/vocab#weight" vs:term_status="stable" rdfs:label="weight" rdfs:comment="Value of weight (degree of vagueness) of the vague edge between [0;1].">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#DatatypeProperty"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#double"/>
        <rdfs:isDefinedBy rdf:resource="http://academic-meta-tool.xyz/vocab/"/>
    </rdf:Property>
</rdf:RDF>