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: 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

 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},
}