Role Conjunctions in Expressive Description Logics

DOI10.1007/978-3-540-89439-1_28zbMATH Open1182.68277OpenAlexW1602466478MaRDI QIDQ5505569FDOQ5505569

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Cheap Boolean Role Constructors for Description Logics
• Conservative Extensions in Horn Description Logics with Inverse Roles
• Reasoning and query answering in description logics
• Static Analysis

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)