Academic Meta Tool Vocabulary
Authors: Florian Thiery (i3mainz, RGZM) & Martin Unold (i3mainz)
Version: Penny Edition
Date: 2018-01-19
Abstract: A vocabulary for Academic Meta Tool.
Copyright: This work is licensed under a Creative Commons Attribution 4.0 International License.
About this Document: This document is based on the GEOJSON-LD VOCABULARY by Sean Gillies (Mapbox) with a CC BY 4.0 license.
Vocabulary
Academic Meta Tool Vocabulary is published as RDF at http://academic-meta-tool.xyz/amt.rdf.
An HTML version is published at http://academic-meta-tool.xyz/vocab/.
Namespace
The official Academic Meta Tool Vocabulary namespace is http://academic-meta-tool.xyz/vocab#.
Visualisation of the OWL Ontology
Have a deeper look in an interactive visualisation using WebVOWL.
Visualisation of a AMT Ontology
Have a deeper look in an interactive visualisation using visjs.
AMT Classes
Below are Linked Data identifiers for the Academic Meta Tool Classes found in the Academic Meta Tool Vocabulary.
Concept and Role
amt:Concept
| URI: | http://academic-meta-tool.xyz/vocab#Concept |
| Definition: | A node which is part of a triple with a vague edge. |
| Label: | Concept |
| rdfs:subClassOf | http://www.w3.org/2000/01/rdf-schema#Class |
amt:Role
| URI: | http://academic-meta-tool.xyz/vocab#Role |
| Definition: | A vague edge which is part of a triple. |
| Label: | Role |
| rdfs:subClassOf | http://www.w3.org/1999/02/22-rdf-syntax-ns#Property |
Logics
amt:Logic
| URI: | http://academic-meta-tool.xyz/vocab#Logic |
| Definition: | A logic which is not instance-able by custom logics. |
| Label: | Logic |
| rdfs:subClassOf | http://www.w3.org/2000/01/rdf-schema#Class |
amt:LukasiewiczLogic
| URI: | http://academic-meta-tool.xyz/vocab#LukasiewiczLogic |
| Definition: | Lukasiewicz Logic: Math.max(x+y-1,0) |
| Label: | Lukasiewicz Logic |
| rdfs:subClassOf | http://academic-meta-tool.xyz/vocab#Logic |
amt:ProductLogic
| URI: | http://academic-meta-tool.xyz/vocab#ProductLogic |
| Definition: | Product Logic: x*y |
| Label: | Product Logic |
| rdfs:subClassOf | http://academic-meta-tool.xyz/vocab#Logic |
amt:GoedelLogic
| URI: | http://academic-meta-tool.xyz/vocab#GoedelLogic |
| Definition: | Goedel Logic: Math.min(x,y) |
| Label: | Goedel Logic |
| rdf:type | http://academic-meta-tool.xyz/vocab#Logic |
Axioms
amt:Axiom
| URI: | http://academic-meta-tool.xyz/vocab#Axiom |
| Definition: | A statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. |
| Label: | Axiom |
| rdfs:subClassOf | http://www.w3.org/2000/01/rdf-schema#Class |
amt:InferenceAxiom
| URI: | http://academic-meta-tool.xyz/vocab#InferenceAxiom |
| Definition: | An axiom to make inferences. |
| Label: | Inference Axiom |
| rdfs:subClassOf | http://academic-meta-tool.xyz/vocab#Axiom |
amt:IntegrityAxiom
| URI: | http://academic-meta-tool.xyz/vocab#IntegrityAxiom |
| Definition: | An axiom to check integrety. |
| Label: | Integrity Axiom |
| rdfs:subClassOf | http://academic-meta-tool.xyz/vocab#Axiom |
amt:RoleChainAxiom
| URI: | http://academic-meta-tool.xyz/vocab#RoleChainAxiom |
| Definition: | An axiom to make inferences of a three concept and two weighted role chain by transitivity. |
| Label: | Role-Chain-Axiom |
| rdfs:subClassOf | http://academic-meta-tool.xyz/vocab#InferenceAxiom |
amt:InverseAxiom
| URI: | http://academic-meta-tool.xyz/vocab#InverseAxiom |
| Definition: | An axiom to describe two inverse roles. |
| Label: | Inverse-Axiom |
| rdfs:subClassOf | http://academic-meta-tool.xyz/vocab#InferenceAxiom |
amt:DisjointAxiom
| URI: | http://academic-meta-tool.xyz/vocab#DisjointAxiom |
| Definition: | An axiom to describe disjoint roles. |
| Label: | Disjoint-Axiom |
| rdfs:subClassOf | http://academic-meta-tool.xyz/vocab#IntegrityAxiom |
amt:SelfDisjointAxiom
| URI: | http://academic-meta-tool.xyz/vocab#SelfDisjointAxiom |
| Definition: | An axiom to describe self-disjoint roles. |
| Label: | Self-Disjoint-Axiom |
| rdfs:subClassOf | http://academic-meta-tool.xyz/vocab#IntegrityAxiom |
AMT Properties
Below are Linked Data identifiers for the Academic Meta Tool Properties found in the Academic Meta Tool Vocabulary.
Concept
amt:placeholder
| URI: | http://academic-meta-tool.xyz/vocab#placeholder |
| Definition: | Placeholder for a concept name. |
| Label: | placeholder |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#Concept |
| rdfs:range | http://www.w3.org/2000/01/rdf-schema#Literal |
amt:instanceOf
| URI: | http://academic-meta-tool.xyz/vocab#instanceOf |
| Definition: | Instance of a Concept. |
| Label: | instance of |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#Concept |
| rdfs:range | http://academic-meta-tool.xyz/vocab#Concept |
Quadruple
amt:weight
| URI: | http://academic-meta-tool.xyz/vocab#weight |
| Definition: | Value of weight (degree of vagueness) of the vague edge between [0;1]. |
| Label: | weight |
| rdfs:domain | http://www.w3.org/2002/07/owl#Thing |
| rdfs:range | http://www.w3.org/2001/XMLSchema#double |
RoleChainAxiom
amt:antecedent1
| URI: | http://academic-meta-tool.xyz/vocab#antecedent1 |
| Definition: | Edge one of the Role-Chain-Axiom. |
| Label: | antecedent1 |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#RoleChainAxiom |
| rdfs:range | http://academic-meta-tool.xyz/vocab#Role |
amt:antecedent2
| URI: | http://academic-meta-tool.xyz/vocab#antecedent2 |
| Definition: | Edge two of the Role-Chain-Axiom. |
| Label: | antecedent2 |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#RoleChainAxiom |
| rdfs:range | http://academic-meta-tool.xyz/vocab#Role |
amt:consequent
| URI: | http://academic-meta-tool.xyz/vocab#consequent |
| Definition: | Conclution of the Role-Chain-Axiom. |
| Label: | consequent |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#RoleChainAxiom |
| rdfs:range | http://academic-meta-tool.xyz/vocab#Role |
amt:logic
| URI: | http://academic-meta-tool.xyz/vocab#logic |
| Definition: | Logic of the Role-Chain-Axiom. |
| Label: | logic |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#RoleChainAxiom |
| rdfs:range | http://academic-meta-tool.xyz/vocab#Logic |
InverseAxiom
amt:antecedent
| URI: | http://academic-meta-tool.xyz/vocab#antecedent |
| Definition: | Way there of the Inverse-Axiom. |
| Label: | antecedent |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#InverseAxiom |
| rdfs:range | http://academic-meta-tool.xyz/vocab#Role |
amt:inverse
| URI: | http://academic-meta-tool.xyz/vocab#inverse |
| Definition: | Way back of the Inverse-Axiom. |
| Label: | inverse |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#InverseAxiom |
| rdfs:range | http://academic-meta-tool.xyz/vocab#Role |
DisjointAxiom
amt:role1
| URI: | http://academic-meta-tool.xyz/vocab#role1 |
| Definition: | First role of the Disjoint-Axiom. |
| Label: | role1 |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#DisjointAxiom |
| rdfs:range | http://academic-meta-tool.xyz/vocab#Role |
amt:role2
| URI: | http://academic-meta-tool.xyz/vocab#role2 |
| Definition: | Second role of the Disjoint-Axiom. |
| Label: | role2 |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#DisjointAxiom |
| rdfs:range | http://academic-meta-tool.xyz/vocab#Role |
SelfDisjointAxiom
amt:role
| URI: | http://academic-meta-tool.xyz/vocab#role |
| Definition: | Role of the Self-Disjoint-Axiom. |
| Label: | role |
| rdfs:domain | http://academic-meta-tool.xyz/vocab#SelfDisjointAxiom |
| rdfs:range | http://academic-meta-tool.xyz/vocab#Role |