@inproceedings{d72b342ba3df43fa86940871a9ac4d4b,
title = "Automated reasoning support for first-order ontologies",
abstract = "Formal ontologies play an increasingly important role in demanding knowledge representation applications like the Semantic Web. Regarding automated reasoning support, the mainstream of research focusses on ontology languages that are also Description Logics, such as OWL-DL. However, many existing ontologies go beyond Description Logics and use full first-order logic. We propose a novel transformation technique that allows to apply existing model computation systems in such situations. We describe the transformation and some variants, its properties and intended applications to ontological reasoning.",
author = "Peter Baumgartner and Suchanek, {Fabian M.}",
year = "2006",
doi = "10.1007/11853107_2",
language = "English",
isbn = "3540395865",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "18--32",
booktitle = "Principles and Practice of Semantic Web Reasoning - 4th International Workshop, PPSWR 2006, Revised Selected Papers",
address = "Germany",
note = "4th International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006 ; Conference date: 10-06-2006 Through 11-06-2006",
}