Applying terminological methods and description logic for creating and implementing and ontology on inhibition

Sine Zambach, Bodil Nistrup Madsen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

By applying formal terminological methods to model an ontology within the domain of enzyme inhibition, we aim to clarify concepts and to obtain consistency. Additionally, we propose a procedure for implementing this ontology in OWL with the aim of obtaining a strict structure which can form the basis for reasoning and further processing, and we compare a semi-formal terminological concept modeling approach with a formal Description Logic approach in OWL-DL.
By applying formal terminological methods to model an ontology within the domain of enzyme inhibition, we aim to clarify concepts and to obtain consistency. Additionally, we propose a procedure for implementing this ontology in OWL with the aim of obtaining a strict structure which can form the basis for reasoning and further processing, and we compare a semi-formal terminological concept modeling approach with a formal Description Logic approach in OWL-DL.
LanguageEnglish
Title of host publicationKEOD 2009 : 1st International Conference on Knowledge Engeneering and Ontology Development
EditorsJan L. G. Dietz
Number of pages4
PublisherInstitute for Systems and Technologies of Information, Control and Communication
Date2009
Pages452-455
ISBN (Print)978-989-674-012-2
StatePublished - 2009
EventInternational Conference on Knowledge Engineering and Ontology Development - Funchal, Portugal
Duration: 6 Oct 20098 Oct 2009

Conference

ConferenceInternational Conference on Knowledge Engineering and Ontology Development
CountryPortugal
CityFunchal
Period06/10/200908/10/2009

Keywords

  • Ontology modeling
  • Formal ontologies
  • Terminological methods
  • Description Logic
  • OWL

Cite this

Zambach, S., & Madsen, B. N. (2009). Applying terminological methods and description logic for creating and implementing and ontology on inhibition. In J. L. G. Dietz (Ed.), KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development (pp. 452-455). Institute for Systems and Technologies of Information, Control and Communication.
Zambach, Sine ; Madsen, Bodil Nistrup. / Applying terminological methods and description logic for creating and implementing and ontology on inhibition. KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. editor / Jan L. G. Dietz. Institute for Systems and Technologies of Information, Control and Communication, 2009. pp. 452-455
@inproceedings{0ea363608b1011debe3e000ea68e967b,
title = "Applying terminological methods and description logic for creating and implementing and ontology on inhibition",
abstract = "By applying formal terminological methods to model an ontology within the domain of enzyme inhibition, we aim to clarify concepts and to obtain consistency. Additionally, we propose a procedure for implementing this ontology in OWL with the aim of obtaining a strict structure which can form the basis for reasoning and further processing, and we compare a semi-formal terminological concept modeling approach with a formal Description Logic approach in OWL-DL.",
keywords = "Ontologimodellering, Beskrivelseslogik, OWL, Ontology modeling, Formal ontologies, Terminological methods, Description Logic, OWL",
author = "Sine Zambach and Madsen, {Bodil Nistrup}",
year = "2009",
language = "English",
isbn = "978-989-674-012-2",
pages = "452--455",
editor = "Dietz, {Jan L. G.}",
booktitle = "KEOD 2009",
publisher = "Institute for Systems and Technologies of Information, Control and Communication",
address = "Portugal",

}

Zambach, S & Madsen, BN 2009, Applying terminological methods and description logic for creating and implementing and ontology on inhibition. in JLG Dietz (ed.), KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. Institute for Systems and Technologies of Information, Control and Communication, pp. 452-455, Funchal, Portugal, 06/10/2009.

Applying terminological methods and description logic for creating and implementing and ontology on inhibition. / Zambach, Sine; Madsen, Bodil Nistrup.

KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. ed. / Jan L. G. Dietz. Institute for Systems and Technologies of Information, Control and Communication, 2009. p. 452-455.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

TY - GEN

T1 - Applying terminological methods and description logic for creating and implementing and ontology on inhibition

AU - Zambach,Sine

AU - Madsen,Bodil Nistrup

PY - 2009

Y1 - 2009

N2 - By applying formal terminological methods to model an ontology within the domain of enzyme inhibition, we aim to clarify concepts and to obtain consistency. Additionally, we propose a procedure for implementing this ontology in OWL with the aim of obtaining a strict structure which can form the basis for reasoning and further processing, and we compare a semi-formal terminological concept modeling approach with a formal Description Logic approach in OWL-DL.

AB - By applying formal terminological methods to model an ontology within the domain of enzyme inhibition, we aim to clarify concepts and to obtain consistency. Additionally, we propose a procedure for implementing this ontology in OWL with the aim of obtaining a strict structure which can form the basis for reasoning and further processing, and we compare a semi-formal terminological concept modeling approach with a formal Description Logic approach in OWL-DL.

KW - Ontologimodellering

KW - Beskrivelseslogik

KW - OWL

KW - Ontology modeling

KW - Formal ontologies

KW - Terminological methods

KW - Description Logic

KW - OWL

M3 - Article in proceedings

SN - 978-989-674-012-2

SP - 452

EP - 455

BT - KEOD 2009

PB - Institute for Systems and Technologies of Information, Control and Communication

ER -

Zambach S, Madsen BN. Applying terminological methods and description logic for creating and implementing and ontology on inhibition. In Dietz JLG, editor, KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. Institute for Systems and Technologies of Information, Control and Communication. 2009. p. 452-455.