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


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:









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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)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



Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section

View attachments here:


File Attachment Icon
lpar2005.pdf