Linking Open-World Knowledge Bases Using Nonmonotonic Rules

DOI10.1007/978-3-319-23264-5_25zbMath1467.68177OpenAlexW2394920296MaRDI QIDQ3449214

Mantas Šimkus, Thomas Eiter

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_25

Mathematics Subject Classification ID

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

Related Items (1)

On combining ontologies and rules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• \({\mathcal E}\)-connections of abstract description systems
• Exploiting conjunctive queries in description logic programs
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Minimal belief and negation as failure
• Minimal belief and negation as failure in multi-agent systems
• Combining answer set programming with description logics for the semantic web
• Complexity results for answer set programming with bounded predicate arities and implications
• What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
• Reconciling description logics and rules
• Modeling and Using Context
• Description logics of minimal knowledge and negation as failure
• Journal on Data Semantics I

This page was built for publication: Linking Open-World Knowledge Bases Using Nonmonotonic Rules