Specification of Ontologies in CASL (2004)
by
Klaus Lüttich
| Venue: | Formal Ontology in Information Systems – Proceedings of the Third International Conference (FOIS-2004), volume 114 of Frontiers in Artificial Intelligence and Applications |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Lüttich04specificationof,
author = {Klaus Lüttich},
title = {Specification of Ontologies in CASL},
booktitle = {Formal Ontology in Information Systems – Proceedings of the Third International Conference (FOIS-2004), volume 114 of Frontiers in Artificial Intelligence and Applications},
year = {2004},
pages = {140--150},
publisher = {IOS Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theory. This is obtained by transforming the given FOL formulas. If this method is applied to an ontology specification in FOL, the resulting
