scientific article; zbMATH DE number 6747949

zbMATH Open1366.68309MaRDI QIDQ5283020FDOQ5283020

Authors: M. Ludwig, D. Walther 

Publication date: 18 July 2017

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)