scientific article; zbMATH DE number 6747949

MaRDI QIDQ5283020zbMATH OpenFDO

Authors M. Ludwig, D. Walther

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/36999

Mathematics Subject Classification ID

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

Recommendations

• Hybrid logic with the difference modality for generalisations of graphs
• scientific article; zbMATH DE number 517080
• scientific article; zbMATH DE number 638367
• scientific article; zbMATH DE number 179052
• scientific article; zbMATH DE number 809155
• Recognizability, hypergraph operations, and logical types
• The logical difference for the lightweight description logic \(\mathcal {EL}\)
• Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
• Graph logics with rational relations: the role of word combinatorics
• Graph logics with rational relations: the role of word combinatorics

Cited in

(4)

• Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
• The Logical Difference Problem for Description Logic Terminologies
• Inseparability and conservative extensions of description logic ontologies: a survey
• The logical difference for the lightweight description logic \(\mathcal {EL}\)

This page was built for publication:

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