Reasoning in Description Logics: Basics, Extensions, and Relatives

DOI10.1007/978-3-540-74615-7_2MaRDI QIDQ3603502zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• An introduction to description logic
• scientific article
• Description Logics
• Reasoning and query answering in description logics
• Description logics for ontologies

Cited in

(27)

• Deciding inseparability and conservative extensions in the description logic
• Reasoning about Multiple Aspects in Rational Closure for DLs
• 15 years of consequence-based reasoning
• FunDL. A family of feature-based description logics, with applications in querying structured data sources
• Reasoning and query answering in description logics
• On keys and functional dependencies as first-class citizens in description logics
• Extensions of non-standard inferences to description logics with transitive roles
• scientific article; zbMATH DE number 5251111 (Why is no real title available?)
• OUP accepted manuscript
• scientific article; zbMATH DE number 6697175 (Why is no real title available?)
• scientific article; zbMATH DE number 6902546 (Why is no real title available?)
• Reasoning in expressive description logics
• FO(ID) as an extension of DL with rules
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
• OWL 2 profiles: an introduction to lightweight ontology languages
• scientific article; zbMATH DE number 1531967 (Why is no real title available?)
• Classical algorithms for reasoning and explanation in description logics
• Rational closure for all description logics
• Practical reasoning for very expressive description logics
• \(\mathcal {BCDL}\): Basic constructive description logic
• Reasoning in basic description logics and description logics with modal operators
• Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
• A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×
• The Description Logic Handbook
• RACCOON: A Connection Reasoner for the Description Logic ALC
• An introduction to description logic
• DESCRIPTION LOGICS OVER LATTICES

Describes a project that uses

Uses Software

• OilEd
• Pellet

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)