Cheap Boolean Role Constructors for Description Logics

DOI10.1007/978-3-540-87803-2_30MaRDI QIDQ3532479zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1137&context=cse

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Role Conjunctions in Expressive Description Logics
• Expressive number restrictions in description logics
• The DL-Lite Family and Relations
• scientific article; zbMATH DE number 1980927
• A new description logic with set constraints and cardinality constraints on role successors

Cites work

• Cheap Boolean Role Constructors for Description Logics
• Complexity of the two-variable fragment with counting quantifiers
• Conjunctive query answering for the description logic SHIQ
• Deciding regular grammar logics with converse through first-order logic
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• On the relative expressiveness of description logics and predicate logics
• PDL with negation of atomic programs
• The Description Logic Handbook

Cited in

(7)

• Answering regular path queries in expressive description logics via alternating tree-automata
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• Cheap Boolean Role Constructors for Description Logics
• Role Conjunctions in Expressive Description Logics
• An extension of complex role inclusion axioms in the description logic \(\mathcal{SROIQ}\)
• Decidability of querying first-order theories via countermodels of finite width
• Extended RDF: computability and complexity issues

This page was built for publication: Cheap Boolean Role Constructors for Description Logics

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