The Description Logic Handbook
From MaRDI portal
Modal logic (including the logic of norms) (03B45) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Recommendations
- The Description Logic Handbook
- scientific article; zbMATH DE number 1936671
- An introduction to description logic
- Automated Reasoning with Analytic Tableaux and Related Methods
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- scientific article; zbMATH DE number 2246078
- scientific article; zbMATH DE number 6697175
- scientific article; zbMATH DE number 2090284
Cited in
(11)- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
- Towards semantic document modelling of business processes
- FLP answer set semantics without circular justifications for general logic programs
- Logic programming approach to automata-based decision procedures
- Using formal methods with SysML in aerospace design and engineering
- Parallel symmetric class expression learning
- Towards contingent world descriptions in description logics
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
- Analyzing natural languages: antimems, contradictions, and onthologies
- On combining ontologies and rules
- Interactive error correction in implicative theories
This page was built for publication: The Description Logic Handbook
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569996)
