Open AccessBook
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
Reads0
Chats0
TLDR
The TANCS-2000 Non-classical (Modal) Systems Comparison is presented in this article, where Tableau-based decision procedures for non-well-founded Fragments of set theory are presented.Citations
More filters
Book
Answer Set Solving in Practice
TL;DR: This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems, and introduces ASP's solving technology, modeling language and methodology.
Book ChapterDOI
Description Logics as Ontology Languages for the Semantic Web
TL;DR: The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry, and description logics are often named as one of the tools that can support this vision and thus help to make this vision reality.
Book ChapterDOI
Resolve and expand
TL;DR: A novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF) that is competitive with state-of-the-art QBF solvers based on DPLL.
Book ChapterDOI
An evaluation of knowledge base systems for large OWL datasets
TL;DR: It is concluded that existing systems need to place a greater emphasis on scalability in relation to use in large OWL applications.
Book ChapterDOI
Towards a fuzzy description logic for the semantic web (preliminary report)
TL;DR: It is shown that the representation and reasoning capabilities of fuzzy $\mathcal{SHOIN}$(D) go clearly beyond classical $D, the corresponding Description Logic of the ontology description language OWL DL.
References
More filters
Book
Answer Set Solving in Practice
TL;DR: This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems, and introduces ASP's solving technology, modeling language and methodology.
Book ChapterDOI
Description Logics as Ontology Languages for the Semantic Web
TL;DR: The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry, and description logics are often named as one of the tools that can support this vision and thus help to make this vision reality.
Book ChapterDOI
Resolve and expand
TL;DR: A novel expansion based decision procedure for quantified boolean formulas (QBF) in conjunctive normal form (CNF) that is competitive with state-of-the-art QBF solvers based on DPLL.
Book ChapterDOI
An evaluation of knowledge base systems for large OWL datasets
TL;DR: It is concluded that existing systems need to place a greater emphasis on scalability in relation to use in large OWL applications.
Book ChapterDOI
Towards a fuzzy description logic for the semantic web (preliminary report)
TL;DR: It is shown that the representation and reasoning capabilities of fuzzy $\mathcal{SHOIN}$(D) go clearly beyond classical $D, the corresponding Description Logic of the ontology description language OWL DL.