The Description Logic Handbook
From MaRDI portal
Publication:3569996
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
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
- scientific article; zbMATH DE number 2090284
Cited in
(11)- Using formal methods with SysML in aerospace design and engineering
- Analyzing natural languages: antimems, contradictions, and onthologies
- On combining ontologies and rules
- Interactive error correction in implicative theories
- Towards semantic document modelling of business processes
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
- Logic programming approach to automata-based decision procedures
- FLP answer set semantics without circular justifications for general logic programs
- Towards contingent world descriptions in description logics
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
- Parallel symmetric class expression learning
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)
