Publications: Unpublished/Draft

Unpublished, Draft, To Appear
@UnPublished
Unveröffentlicht, Entwurf

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

Author, Editor

Author(s):

Baumgartner, Peter
Suchanek, Fabian

dblp
dblp

BibTeX citekey*:

BaumgartnerSuchanek2005

Title, Booktitle

Title*:

Model-Generation Theorem Proving for First-Order Logic Ontologies

Vol, No, pp., Year

Month:		Year:	2005
Language:	English	Pages:	30

Abstract, Links, ©

Note:
LaTeX Abstract:	Formal ontologies play an increasingly important role in demanding knowledge representation applications like the {\em Semantic Web\/}. Automated reasoning support for these ontologies is mandatory for tasks like debugging, classifying or querying the knowledge bases, and description logic (DL) reasoners have been shown to be very effective for that. Yet, as language extensions beyond (decidable) DLs are being discussed, more general first-order logic systems are required, too. In this paper, we pursue this direction and consider automated reasoning on full first-order logic knowledge bases. We put forward an optimized approach of transforming such knowledge bases to clause logic. The transformations include a Brand-like transformation to eliminate equality, and a transformation that incorporates a {\em blocking\/} technique to ``checks loops'' in derivations. The latter transformation lets theorem provers terminate more often on satisfiable input formulas. It thus enables more robust automated reasoning support on ontologies, where disproving is a common task. While the transformations are applicable to any clause set, we concentrate in this paper on demonstrating their effectiveness on a standard test suite devised by the Semantic Web community.
Categories / Keywords:
HyperLinks / References / URLs:
Personal Comments:
File Upload:

Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	experts only
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort, CCL bibliography

BibTeX Entry:

@UNPUBLISHED{BaumgartnerSuchanek2005,
AUTHOR = {Baumgartner, Peter and Suchanek, Fabian},
TITLE = {Model-Generation Theorem Proving for First-Order Logic Ontologies},
YEAR = {2005},
PAGES = {30},
}

Entry last modified by Peter Baumgartner, 01/28/2008

Edit History (please click the blue arrow to see the details)

	Editor(s) Peter Baumgartner	Created 12/15/2005 03:52:45 AM
Revision 0.	Editor Peter Baumgartner	Edit Date 12/15/2005 03:52:59 AM

Attachment Section

lpar2005.pdf

lpar2005.pdf