Role Conjunctions in Expressive Description Logics

DOI10.1007/978-3-540-89439-1_28MaRDI QIDQ5505569zbMATH OpenOpenAlexFDO

Authors Birte Glimm, Yevgeny Kazakov

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89439-1_28

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• The Complexity of Conjunctive Query Answering in Expressive Description Logics
• Conjunctive query answering for the description logic SHIQ
• scientific article; zbMATH DE number 1980927
• scientific article; zbMATH DE number 1531967
• Cheap Boolean Role Constructors for Description Logics

Cited in

(5)

• Reasoning and query answering in description logics
• Static Analysis
• Cheap Boolean Role Constructors for Description Logics
• Conservative Extensions in Horn Description Logics with Inverse Roles
• scientific article; zbMATH DE number 7561661 (Why is no real title available?)

Describes a project that uses

Uses Software

• Pellet

This page was built for publication: Role Conjunctions in Expressive Description Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505569)