scientific article; zbMATH DE number 1405451
From MaRDI portal
Publication:4938425
zbMath0949.03030MaRDI QIDQ4938425
Publication date: 23 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
knowledge representationdescription logicscomplexity of reasoningterminological knowledgeacyclic TBoxes
Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items (10)
Computing the least common subsumer w.r.t. a background terminology ⋮ PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) ⋮ A tableau algorithm for description logics with concrete domains and general TBoxes ⋮ Optimizing terminological reasoning for expressive description logics ⋮ Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ ⋮ Automata can show PSpace results for description logics ⋮ Reasoning and Query Answering in Description Logics ⋮ Description Logics ⋮ Combining interval-based temporal reasoning with general TBoxes ⋮ \({\mathcal E}\)-connections of abstract description systems
This page was built for publication:
