Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity

Christian Kindermann; Daniel Lupp; Uli Sattler; Evgenij Thorstensen

Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity

Christian Kindermann, Daniel Lupp, Uli Sattler, Evgenij Thorstensen

Information Management

Research output: Contribution to conference › Paper › peer-review

Abstract

We present a second-order language that can be used to succinctly specify ontologies in a consistent and transparent manner. This language is based on ontology templates (OTTR), a framework for capturing recurring patterns of axioms in ontological modelling. The language, and our results are independent of any specific DL.
We define the language and its semantics, including the case of negation-as- failure, investigate reasoning over ontologies specified using our language, and show results about the decidability of useful reasoning tasks about the language itself. We also state and discuss some open problems that we believe to be of interest.

Original language	English
Publication status	Published - Oct 2018
Event	31st International Workshop on Description Logics - Tempe, Arizona, United States Duration: 26 Oct 2018 → 29 Oct 2018

Conference

Conference	31st International Workshop on Description Logics
Country/Territory	United States
Period	26/10/18 → 29/10/18

Cite this

@conference{428ffe16f66d4b8f93c03a25ba52d02f,

title = "Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity",

abstract = " We present a second-order language that can be used to succinctly specify ontologies in a consistent and transparent manner. This language is based on ontology templates (OTTR), a framework for capturing recurring patterns of axioms in ontological modelling. The language, and our results are independent of any specific DL.We define the language and its semantics, including the case of negation-as- failure, investigate reasoning over ontologies specified using our language, and show results about the decidability of useful reasoning tasks about the language itself. We also state and discuss some open problems that we believe to be of interest.",

author = "Christian Kindermann and Daniel Lupp and Uli Sattler and Evgenij Thorstensen",

note = "Won Best Student Paper Award; 31st International Workshop on Description Logics ; Conference date: 26-10-2018 Through 29-10-2018",

year = "2018",

month = oct,

language = "English",

}

TY - CONF

T1 - Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity

AU - Kindermann, Christian

AU - Lupp, Daniel

AU - Sattler, Uli

AU - Thorstensen, Evgenij

N1 - Won Best Student Paper Award

PY - 2018/10

Y1 - 2018/10

N2 - We present a second-order language that can be used to succinctly specify ontologies in a consistent and transparent manner. This language is based on ontology templates (OTTR), a framework for capturing recurring patterns of axioms in ontological modelling. The language, and our results are independent of any specific DL.We define the language and its semantics, including the case of negation-as- failure, investigate reasoning over ontologies specified using our language, and show results about the decidability of useful reasoning tasks about the language itself. We also state and discuss some open problems that we believe to be of interest.

AB - We present a second-order language that can be used to succinctly specify ontologies in a consistent and transparent manner. This language is based on ontology templates (OTTR), a framework for capturing recurring patterns of axioms in ontological modelling. The language, and our results are independent of any specific DL.We define the language and its semantics, including the case of negation-as- failure, investigate reasoning over ontologies specified using our language, and show results about the decidability of useful reasoning tasks about the language itself. We also state and discuss some open problems that we believe to be of interest.

M3 - Paper

T2 - 31st International Workshop on Description Logics

Y2 - 26 October 2018 through 29 October 2018

ER -

Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity

Abstract

Conference

Fingerprint

Cite this