Hybrid reasoning with rules and ontologies

Hybrid reasoning with rules and ontologies

The purpose of this chapter is to report on work that has been done in the REWERSE project concerning hybrid reasoning with rules and ontologies. Two major streams of work have been pursued within REWERSE. They start from the predominant semantics of non-monotonic rules in logic programming. The one...

Detaylı Bibliyografya
Asıl Yazarlar:	Drabent, W, Eiter, T, Ianni, G, Krennwallner, T, Lukasiewicz, T, Małuszyński, J
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	2009

Benzer Materyaller

Semantic Techniques for the Web: The REWERSE Perspective
Yazar:: Drabent, W, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Complexity Results for Default Reasoning from Conditional Knowledge Bases
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Ontology reasoning with deep neural networks
Yazar:: Hohenecker, P, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Default Reasoning from Conditional Knowledge Bases: Complexity and Tractable Cases
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

A Logical Toolbox for Ontological Reasoning
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Ontology reasoning with deep neural networks (extended abstract)
Yazar:: Hohenecker, P, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Generalized consistent query answering under existential rules
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
Yazar:: Hernich, A, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
Yazar:: Hernich, A, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Basic probabilistic ontological data exchange with existential rules
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Well-Founded Semantics for Description Logic Programs in the Semantic Web
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Well−founded Semantics for Description Logic Programs in the Semantic Web
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Ontological Reasoning with F-logic Lite and its Extensions.
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Ontological Reasoning with F−Logic Lite and its Extensions
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Personalized Students’ Profile Based On Ontology and Rule-based Reasoning
Yazar:: Shaimaa Nafea, ve diğerleri
Baskı/Yayın Bilgisi: (2016-12-01)

Existential rules and Bayesian networks for probabilistic ontological data exchange
Yazar:: Lukasiewicz, T, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Rule-Based Approaches for Representing Probabilistic Ontology Mappings.
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Rule−Based Approaches for Representing Probabilistic Ontology Mappings
Yazar:: Calì, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Preferred explanations for ontology−mediated queries under existential rules
Yazar:: Ceylan, II, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Combining answer set programming with description logics for the semantic Web
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Combining Answer Set Programming with Description Logics for the Semantic Web
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Ontology construction and safety rule reasoning of main types of work in coal mine
Yazar:: WU Panxin, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

Ontology−Based Semantic Search on the Web and its Combination with the Power of Inductive Reasoning
Yazar:: d'Amato, C, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Reasons in the Scientonomic Ontology
Yazar:: Kye Palider
Baskı/Yayın Bilgisi: (2019-12-01)

Repairing Ontologies for Incomplete Reasoners.
Yazar:: Stoilos, G, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Repairing Ontologies for Incomplete Reasoners
Yazar:: Stoilos, G, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Reasoning with parsimonious and moderately grounded expansions
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (1992)

The Reasonable Ontology Templates Framework
Yazar:: Skjæveland, Martin Georg, ve diğerleri
Baskı/Yayın Bilgisi: (2024-12-01)

THE ONTOLOGICAL CAPTURE OF REASON AND REVELATION
Yazar:: Musa Alkadzim
Baskı/Yayın Bilgisi: (2023-12-01)

Identification of Environmental Pollutants in Construction Site Monitoring Using Association Rule Mining and Ontology-Based Reasoning
Yazar:: Zhao Xu, ve diğerleri
Baskı/Yayın Bilgisi: (2022-12-01)

Specification of Coordination of Rule and Ontology Languages
Yazar:: Pan, J, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Reasoning under minimal upper bounds in propositional logic
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Reasoning under minimal upper bounds in propositional logic
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Causes and Explanations in the Structural−Model Approach : Tractable Cases
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Complexity Results for Structure−Based Causality
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Causes and Explanations in the Structural−Model Approach: Tractable Cases
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Complexity Results for Structure−Based Causality
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2002)

Complexity Results for Explanations in the Structural−Model Approach
Yazar:: Eiter, T, ve diğerleri
Baskı/Yayın Bilgisi: (2002)