scientific article; zbMATH DE number 1531967

MaRDI QIDQ4514013zbMATH OpenFDO

Authors F. M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf

Publication date 4 March 2001

zbMATH Keywords

computational complexity of reasoning problemsconcept languagedescription logicsknowledge representationstructured conceptssurvey

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Recommendations

• Description logics in knowledge representation
• An introduction to description logic
• scientific article; zbMATH DE number 2090284
• Description Logics
• Reasoning in Description Logics: Basics, Extensions, and Relatives

Cited in

(36)

• An epistemic operator for description logics
• Hyperresolution for guarded formulae
• Expressiveness of concept expressions in first-order description logics
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
• Part-whole reasoning in an object-centered framework.
• Reasoning with logical bilattices
• The F-logic approach for description languages
• Initial steps towards a family of regular-like plan description logics
• Rational closure for all description logics
• A hybrid reasoning system for terminologies and first-order clauses in knowledge bases
• On the relative expressiveness of description logics and predicate logics
• Reasoning in expressive description logics
• Description logics in knowledge representation
• Reasoning with prototypes in the description logic \({\mathcal {ALC}}\) using weighted tree automata
• Using sums-of-products for non-standard reasoning
• Second-order reasoning in description logics
• Combining description logics, description graphs, and rules
• scientific article; zbMATH DE number 1315582 (Why is no real title available?)
• scientific article; zbMATH DE number 1149405 (Why is no real title available?)
• scientific article; zbMATH DE number 1149440 (Why is no real title available?)
• scientific article; zbMATH DE number 1953126 (Why is no real title available?)
• Practical reasoning for very expressive description logics
• scientific article; zbMATH DE number 1538054 (Why is no real title available?)
• Conceptual modeling in a document management environment using part-of reasoning in description logics
• scientific article; zbMATH DE number 6902546 (Why is no real title available?)
• A sequent calculus for reasoning in four-valued description logics
• Rational Closure for Defeasible Description Logics
• Hypothetical reasoning and definitional reflection in logic programming
• Reasoning about Multiple Aspects in Rational Closure for DLs
• Rough Pragmatic Description Logic
• DESCRIPTION LOGICS OVER LATTICES
• Description Logic Reasoning in Prolog
• Logic Programming
• Role Conjunctions in Expressive Description Logics
• An overview of tableau algorithms for description logics
• Representing ontologies using description logics, description graphs, and rules

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 Q4514013)