scientific article; zbMATH DE number 1765662

zbMath0988.68181MaRDI QIDQ4539598

Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan

Publication date: 10 July 2002

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

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 (5)

OWL reasoning: subsumption test hardness and modularity ⋮ Optimizing terminological reasoning for expressive description logics ⋮ Reasoning in description logics by a reduction to disjunctive datalog ⋮ Incremental reasoning on monadic second-order logics with logic programming ⋮ On the scalability of description logic instance retrieval

This page was built for publication: