Tableau reasoning for description logics and its extension to probabilities

DOI10.1007/S10472-016-9529-3zbMath1398.68506OpenAlexW2530494681WikidataQ58063511 ScholiaQ58063511MaRDI QIDQ1653448

Giuseppe Cota, Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese

Publication date: 6 August 2018

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11392/2353879

zbMATH Keywords

tableaudescription logicssemantic webprolog

Mathematics Subject Classification ID

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

Related Items (4)

The Probabilistic Description Logic ⋮ Unnamed Item ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Abduction with probabilistic logic programming under the distribution semantics

Uses Software

• MiniSat
• Pellet
• DLog
• leanTAP
• Pengines
• PR-OWL
• OntoDLV

Cites Work

• Unnamed Item
• Unnamed Item
• Automata-based axiom pinpointing
• An analysis of first-order logics of probability
• Deciding expressive description logics in the framework of resolution
• Scalable uncertainty management. Second international conference, SUM 2008, Naples, Italy, October 1--3, 2008. Proceedings
• Uncertainty reasoning for the semantic web I. ISWC international workshops, URSW 2005--2007. Revised selected and invited papers
• Probabilistic logic
• A theory of diagnosis from first principles
• The independent choice logic for modelling multiple agents under uncertainty
• Probabilistic default reasoning with conditional constraints
• lean\(T^ AP\): Lean tableau-based deduction
• Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
• A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
• Expressive probabilistic description logics
• Distributed Parameter Learning for Probabilistic Ontologies
• Pengines: Web Logic Programming Made Easy
• ProbLog Technology for Inference in a Probabilistic First Order Logic
• Efficient description logic reasoning in Prolog: The DLog system
• OntoDLV: An ASP-based System for Enterprise Ontologies
• Axiom Pinpointing in General Tableaux
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
• Abducing through negation as failure: stable models within the independent choice logic
• Structure learning of probabilistic logic programs by searching the clause space
• Reasoning on Datalog± Ontologies with Abductive Logic Programming
• Theory and Applications of Satisfiability Testing
• Logic programming with satisfiability

This page was built for publication: Tableau reasoning for description logics and its extension to probabilities