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/vocab.ttl.

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#.

AMT Classes

Below are Linked Data identifiers for the Academic Meta Tool Classes found in the Academic Meta Tool Vocabulary.

Concept &. Role

amt:Concept

URI: http://academic-meta-tool.xyz/vocab#Concept
Definition: What is a amt:Concept?
Label: Concept
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#Class
Instance: http://academic-meta-tool.xyz/ontology#Concept

amt:Role

URI: http://academic-meta-tool.xyz/vocab#Role
Definition: What is a amt:Role?
Label: Role
rdfs:subClassOf http://www.w3.org/1999/02/22-rdf-syntax-ns#Property
Instance: http://academic-meta-tool.xyz/ontology#Role

Logics

amt:Logic

URI: http://academic-meta-tool.xyz/vocab#Logic
Definition: What is a amt:Logic? 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: What is a amt:LukasiewiczLogic?
Label: Lukasiewicz Logic
rdf:type http://academic-meta-tool.xyz/vocab#Logic

amt:ProductLogic

URI: http://academic-meta-tool.xyz/vocab#ProductLogic
Definition: What is a amt:ProductLogic?
Label: Product Logic
rdf:type http://academic-meta-tool.xyz/vocab#Logic

amt:GoedelLogic

URI: http://academic-meta-tool.xyz/vocab#GoedelLogic
Definition: What is a amt:GoedelLogic?
Label: Goedel Logic
rdf:type http://academic-meta-tool.xyz/vocab#Logic

Axioms

amt:Axiom

URI: http://academic-meta-tool.xyz/vocab#Axiom
Definition: What is a amt:Axiom? not instance-able
Label: Axiom
rdfs:subClassOf http://www.w3.org/2000/01/rdf-schema#Class

amt:InferenceAxiom

URI: http://academic-meta-tool.xyz/vocab#InferenceAxiom
Definition: What is a amt:InferenceAxiom? not instance-able
Label: Inference Axiom
rdfs:subClassOf http://academic-meta-tool.xyz/vocab#Axiom

amt:IntegrityAxiom

URI: http://academic-meta-tool.xyz/vocab#IntegrityAxiom
Definition: What is a amt:IntegrityAxiom? not instance-able
Label: Integrity Axiom
rdfs:subClassOf http://academic-meta-tool.xyz/vocab#Axiom

amt:RoleChainAxiom

URI: http://academic-meta-tool.xyz/vocab#RoleChainAxiom
Definition: What is a amt:RoleChainAxiom?
Label: Role Chain Axiom
rdfs:subClassOf http://academic-meta-tool.xyz/vocab#InferenceAxiom
Instance: http://academic-meta-tool.xyz/ontology#RoleChainAxiom

amt:InverseAxiom

URI: http://academic-meta-tool.xyz/vocab#InverseAxiom
Definition: What is a amt:InverseAxiom?
Label: Inverse Axiom
rdfs:subClassOf http://academic-meta-tool.xyz/vocab#InferenceAxiom
Instance: http://academic-meta-tool.xyz/ontology#InverseAxiom

amt:DisjointAxiom

URI: http://academic-meta-tool.xyz/vocab#DisjointAxiom
Definition: What is a amt:DisjointAxiom?
Label: Disjoint Axiom
rdfs:subClassOf http://academic-meta-tool.xyz/vocab#IntegrityAxiom
Instance: http://academic-meta-tool.xyz/ontology#DisjointAxiom

amt:SelfDisjointAxiom

URI: http://academic-meta-tool.xyz/vocab#SelfDisjointAxiom
Definition: What is a amt:SelfDisjointAxiom?
Label: Self Disjoint Axiom
rdfs:subClassOf http://academic-meta-tool.xyz/vocab#IntegrityAxiom
Instance: http://academic-meta-tool.xyz/ontology#SelfDisjointAxiom

AMT Properties

Below are Linked Data identifiers for the Academic Meta Tool Properties found in the Academic Meta Tool Vocabulary.

Concept

placeholder

URI: http://academic-meta-tool.xyz/vocab#placeholder
Definition: What is a amt:placeholder?
Label: placeholder
rdfs:domain http://academic-meta-tool.xyz/vocab#Concept
rdfs:range http://www.w3.org/2000/01/rdf-schema#Literal

RoleChainAxiom

antecedent1

URI: http://academic-meta-tool.xyz/vocab#antecedent1
Definition: What is a amt:antecedent1?
Label: antecedent1
rdfs:domain http://academic-meta-tool.xyz/vocab#RoleChainAxiom
rdfs:range http://www.w3.org/2000/01/rdf-schema#Role

antecedent2

URI: http://academic-meta-tool.xyz/vocab#antecedent2
Definition: What is a amt:antecedent2?
Label: antecedent2
rdfs:domain http://academic-meta-tool.xyz/vocab#RoleChainAxiom
rdfs:range http://www.w3.org/2000/01/rdf-schema#Role

consequent

URI: http://academic-meta-tool.xyz/vocab#consequent
Definition: What is a amt:consequent?
Label: consequent
rdfs:domain http://academic-meta-tool.xyz/vocab#RoleChainAxiom
rdfs:range http://www.w3.org/2000/01/rdf-schema#Role

logic

URI: http://academic-meta-tool.xyz/vocab#logic
Definition: What is a amt:logic?
Label: logic
rdfs:domain http://academic-meta-tool.xyz/vocab#RoleChainAxiom
rdfs:range http://academic-meta-tool.xyz/vocab#Logic

InverseAxiom

antecedent

URI: http://academic-meta-tool.xyz/vocab#antecedent
Definition: What is a amt:antecedent?
Label: antecedent
rdfs:domain http://academic-meta-tool.xyz/vocab#InverseAxiom
rdfs:range http://www.w3.org/2000/01/rdf-schema#Role

inverse

URI: http://academic-meta-tool.xyz/vocab#inverse
Definition: What is a amt:inverse?
Label: inverse
rdfs:domain http://academic-meta-tool.xyz/vocab#InverseAxiom
rdfs:range http://www.w3.org/2000/01/rdf-schema#Role

DisjointAxiom

role1

URI: http://academic-meta-tool.xyz/vocab#role1
Definition: What is a amt:role1?
Label: role1
rdfs:domain http://academic-meta-tool.xyz/vocab#DisjointAxiom
rdfs:range http://www.w3.org/2000/01/rdf-schema#Role

role2

URI: http://academic-meta-tool.xyz/vocab#role2
Definition: What is a amt:role2?
Label: role2
rdfs:domain http://academic-meta-tool.xyz/vocab#DisjointAxiom
rdfs:range http://www.w3.org/2000/01/rdf-schema#Role

SelfDisjointAxiom

role

URI: http://academic-meta-tool.xyz/vocab#role
Definition: What is a amt:role?
Label: role
rdfs:domain http://academic-meta-tool.xyz/vocab#SelfDisjointAxiom
rdfs:range http://www.w3.org/2000/01/rdf-schema#Role