✦ LIBER ✦

The complexity of finite model reasoning in description logics

✍ Scribed by Carsten Lutz; Ulrike Sattler; Lidia Tendera

Book ID: 113641559
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 546 KB
Volume: 199
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2004.11.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Data complexity of query answering in de

Data complexity of query answering in description logics

✍ Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Ro 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 432 KB

The Complexity of Lattice-Based Fuzzy De

The Complexity of Lattice-Based Fuzzy Description Logics

✍ Stefan Borgwardt, Rafael Peñaloza 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 450 KB

Description and Reasoning of VLSI circui

Description and Reasoning of VLSI circuit in temporal logic

✍ Akira Fusaoka; Hirohisa Seki; Kuzuko Takahashi 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 563 KB

Conceptual modeling in a document manage

Conceptual modeling in a document management environment using part-of reasoning in description logics

✍ Patrick Lambrix; Lin Padgham 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 477 KB

The notion of giving support to composite objects in systems is gaining strength in a number of areas. In this paper we examine the usefulness of introducing part-of reasoning in a description logic in a document management environment. We identify key issues in both expressivity and inferencing. We

The Complexity of Regularity in Grammar

The Complexity of Regularity in Grammar Logics and Related Modal Logics

✍ Demri, S. 📂 Article 📅 2001 🏛 Oxford University Press 🌐 English ⚖ 335 KB

The complexity of reasoning for fragment

The complexity of reasoning for fragments of default logic

✍ Beyersdorff, O.; Meier, A.; Thomas, M.; Vollmer, H. 📂 Article 📅 2011 🏛 Oxford University Press 🌐 English ⚖ 437 KB