The Description Logic Handbook
DOI10.1017/CBO9780511711787zbMATH Open1191.68652OpenAlexW1555563750MaRDI QIDQ3569996FDOQ3569996
Authors:
Publication date: 23 June 2010
Full work available at URL: https://doi.org/10.1017/cbo9780511711787
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
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)
Cited In (11)
- Analyzing natural languages: antimems, contradictions, and onthologies
- On combining ontologies and rules
- Using formal methods with SysML in aerospace design and engineering
- 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)
