Reasoning in Description Logics: Basics, Extensions, and Relatives
From MaRDI portal
Publication:3603502
DOI10.1007/978-3-540-74615-7_2zbMATH Open1170.68649OpenAlexW1572815575MaRDI QIDQ3603502FDOQ3603502
Authors: Ulrike Sattler 
Publication date: 17 February 2009
Published in: Reasoning Web (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74615-7_2
Recommendations
Knowledge representation (68T30) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cited In (27)
- Title not available (Why is that?)
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
- \(\mathcal {BCDL}\): Basic constructive description logic
- Reasoning about Multiple Aspects in Rational Closure for DLs
- OWL 2 profiles: an introduction to lightweight ontology languages
- Deciding inseparability and conservative extensions in the description logic
- Reasoning in expressive description logics
- Reasoning in basic description logics and description logics with modal operators
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
- An introduction to description logic
- Extensions of non-standard inferences to description logics with transitive roles
- Title not available (Why is that?)
- RACCOON: A Connection Reasoner for the Description Logic ALC
- The Description Logic Handbook
- DESCRIPTION LOGICS OVER LATTICES
- On keys and functional dependencies as first-class citizens in description logics
- OUP accepted manuscript
- Title not available (Why is that?)
- Reasoning and query answering in description logics
- Rational closure for all description logics
- Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
- FO(ID) as an extension of DL with rules
- 15 years of consequence-based reasoning
- FunDL. A family of feature-based description logics, with applications in querying structured data sources
- Title not available (Why is that?)
- Classical algorithms for reasoning and explanation in description logics
- Practical reasoning for very expressive description logics
Uses Software
This page was built for publication: Reasoning in Description Logics: Basics, Extensions, and Relatives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3603502)
