scientific article; zbMATH DE number 1765660

zbMath0988.68182MaRDI QIDQ4539596

Ralf Möller, Volker Haarslev, Michael Wessel

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830029

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

A tableau algorithm for description logics with concrete domains and general TBoxes, A tableau decision procedure for \(\mathcal{SHOIQ}\), Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge, Flexible software architectures for ontology-based information systems, On the scalability of description logic instance retrieval, Using model theory to find decidable and tractable description logics with concrete domains, Description logics with concrete domains and general concept inclusions revisited