A Logical Toolbox for Ontological Reasoning

A Logical Toolbox for Ontological Reasoning

<p>In ontology-enhanced database systems, an ontology on top of the extensional database expresses intensional knowledge that enhances the database schema. Queries posed to such systems are to be evaluated considering all the knowledge inferred from the data by means of the ontology; in other...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Calì, A, Gottlob, G, Lukasiewicz, T, Pieris, A
Μορφή:	Journal article
Έκδοση:	2011

Παρόμοια τεκμήρια

Ontological Reasoning with F-logic Lite and its Extensions.
ανά: Calì, A, κ.ά.
Έκδοση: (2010)

Ontological Reasoning with F−Logic Lite and its Extensions
ανά: Calì, A, κ.ά.
Έκδοση: (2010)

Datalog+⁄−: A Family of Languages for Ontology Querying
ανά: Calì, A, κ.ά.
Έκδοση: (2011)

Datalog+/-: A Family of Languages for Ontology Querying.
ανά: Calì, A, κ.ά.
Έκδοση: (2010)

Advanced Processing for Ontological Queries
ανά: Calì, A, κ.ά.
Έκδοση: (2010)

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications.
ανά: Calì, A, κ.ά.
Έκδοση: (2010)

Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications
ανά: Calì, A, κ.ά.
Έκδοση: (2010)

Towards more expressive ontology languages: The query answering problem.
ανά: Calì, A, κ.ά.
Έκδοση: (2012)

Logic, languages, and rules for web data extraction and reasoning over data
ανά: Gottlob, G, κ.ά.
Έκδοση: (2017)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
ανά: Hernich, A, κ.ά.
Έκδοση: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
ανά: Hernich, A, κ.ά.
Έκδοση: (2013)

Datalog±: a unified approach to ontologies and integrity constraints.
ανά: Calì, A, κ.ά.
Έκδοση: (2009)

Datalog±: A Unified Approach to Ontologies and Integrity Constraints
ανά: Calì, A, κ.ά.
Έκδοση: (2009)

Tractable Query Answering over Ontologies with Datalog+⁄−
ανά: Calì, A, κ.ά.
Έκδοση: (2009)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
ανά: Calì, A, κ.ά.
Έκδοση: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
ανά: Calì, A, κ.ά.
Έκδοση: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
ανά: Calì, A, κ.ά.
Έκδοση: (2009)

A general datalog-based framework for tractable query answering over ontologies.
ανά: Calì, A, κ.ά.
Έκδοση: (2009)

A general Datalog-based framework for tractable query answering over ontologies.
ανά: Calì, A, κ.ά.
Έκδοση: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
ανά: Calì, A, κ.ά.
Έκδοση: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies (Extended Abstract)
ανά: Calì, A, κ.ά.
Έκδοση: (2009)

Ontological queries: Rewriting and optimization
ανά: Gottlob, G, κ.ά.
Έκδοση: (2011)

Ontological Queries: Rewriting and optimization
ανά: Gottlob, G, κ.ά.
Έκδοση: (2011)

Representing Ontology Mappings with Probabilistic Description Logics Programs
ανά: Calì, A, κ.ά.
Έκδοση: (2008)

Ontological Query Answering via Rewriting
ανά: Gottlob, G, κ.ά.
Έκδοση: (2011)

Query Rewriting and Optimization for Ontological Databases
ανά: Gottlob, G, κ.ά.
Έκδοση: (2014)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.
ανά: Calì, A, κ.ά.
Έκδοση: (2008)

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
ανά: Calì, A, κ.ά.
Έκδοση: (2008)

Ontology−Based Semantic Search on the Web and its Combination with the Power of Inductive Reasoning
ανά: d'Amato, C, κ.ά.
Έκδοση: (2012)

Ontology reasoning with deep neural networks
ανά: Hohenecker, P, κ.ά.
Έκδοση: (2020)

Hybrid reasoning with rules and ontologies
ανά: Drabent, W, κ.ά.
Έκδοση: (2009)

Datalog+⁄−: Questions and Answers
ανά: Gottlob, G, κ.ά.
Έκδοση: (2014)

Answering Threshold Queries in Probabilistic Datalog+/- Ontologies.
ανά: Gottlob, G, κ.ά.
Έκδοση: (2011)

Conjunctive Query Answering in Probabilistic Datalog+⁄− Ontologies
ανά: Gottlob, G, κ.ά.
Έκδοση: (2011)

Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies.
ανά: Gottlob, G, κ.ά.
Έκδοση: (2011)

Ontology reasoning with deep neural networks (extended abstract)
ανά: Hohenecker, P, κ.ά.
Έκδοση: (2020)

Swift logic for big data and knowledge graphs
ανά: Bellomarini, L, κ.ά.
Έκδοση: (2017)

Improving ontologies by automatic reasoning and evaluation of logical definitions
ανά: Köhler Sebastian, κ.ά.
Έκδοση: (2011-10-01)

Reasoning under minimal upper bounds in propositional logic
ανά: Eiter, T, κ.ά.
Έκδοση: (2006)

Reasoning under minimal upper bounds in propositional logic
ανά: Eiter, T, κ.ά.
Έκδοση: (2006)