Peter F. Patel-Schneider, Ian Horrocks  Home/Search
Context Related
Links: ACM DBLP | cs.man.ac.uk/~horr...ptableaux99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/~horr...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: orrocks and Patel-Schneider(1998a),Horrocks and Patel-Schneider(1998b)]. The remainder of this submission will concentrate on DLP, as it is somewhat faster than FaCT. Significant differences from FaCT will be noted. Architecture and Algorithm At the heart of the DLP system is its highly-optimized tableaux satisfiability engine. DLP first performs a lexical normalization phase, which uniquely stores sub-formulae; eliminates repeated conjuncts and disjuncts; replaces local tautologies and... (Update)
Cited by: More
What's New in DLP - Peter Patel-Schneider Bell (Correct)
Active bibliography (related documents): More All
0.0: Optimising Description Logic Subsumption - Horrocks, Patel-Schneider (1999) (Correct)
0.0: Practical Reasoning for Very Expressive Description Logics - Horrocks, Sattler, Tobies (2000) (Correct)
0.0: Generating Hard Modal Problems for Modal Decision Procedures - Horrocks, Patel-Schneider (1999) (Correct)
Similar documents based on text: More All
1.2: DLP System Description - Patel-Schneider (1998) (Correct)
0.7: Evaluating Optimised Decision Procedures for.. - Horrocks.. (2002) (Correct)
0.6: Dlp - Patel-Schneider (Correct)
BibTeX entry: (Update)
Peter F. Patel-Schneider and Ian Horrocks. DLP and FaCT. In Neil V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'99, number 1617 in Lecture Notes in Artificial Intelligence, pages 19--23, Berlin, June 1999. SpringerVerlag. http://citeseer.ist.psu.edu/patel-schneider99dlp.html More
@inproceedings{ patelschneider99dlp,
author = "Peter F. Patel-Schneider and Ian Horrocks",
title = "{DLP} and FaCT",
booktitle = "Analytic Tableaux and Related Methods",
pages = "19-23",
year = "1999",
url = "citeseer.ist.psu.edu/patel-schneider99dlp.html" }
Citations (may not include all citations):93 Journal of Artificial Intelligence Research (context) - Ginsberg - 1993
92 Building decision procedures for modal logics from propositi.. - Giunchiglia, Sebastiani - 1996
17 Hard random 3-SAT problems and the Davis-Putnam procedure (context) - Freeman - 1996 DBLP
Documents on the same site (http://www.cs.man.ac.uk/~horrocks/Publications/publications.html): More
FaCT and DLP - Horrocks, Patel-Schneider (Correct)
Practical Reasoning for Description Logics with.. - Horrocks, Sattler.. (1999) (Correct)
Knowledge Representation on the Web - Decker, Fensel, van Harmelen.. (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC