scientific article; zbMATH DE number 1765662

MaRDI QIDQ4539598zbMATH OpenFDO

Authors 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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1980942
• Extending the description logic \(\tau\mathcal{EL}(\deg)\) with acyclic TBoxes
• Reasoning About Actions Using Description Logics with General TBoxes
• ABox abduction in the description logic \(\mathcal{ALC}\)
• scientific article; zbMATH DE number 2090284
• A tableau algorithm for description logics with concrete domains and general TBoxes
• scientific article; zbMATH DE number 1405450
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
• Practical reasoning for very expressive description logics

Cited in

(10)

• On the scalability of description logic instance retrieval
• OWL reasoning: subsumption test hardness and modularity
• Optimizing terminological reasoning for expressive description logics
• Reasoning in description logics by a reduction to disjunctive datalog
• Extended caching, backjumping and merging for expressive description logics
• Optimizing description logic subsumption
• Matching in the Description Logic FL0 with respect to General TBoxes
• Incremental reasoning on monadic second-order logics with logic programming
• Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
• Classical algorithms for reasoning and explanation in description logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539598)