Tractable Reasoning in Description Logics with Functionality Constraints

Andrea Calı̀; Georg Gottlob; Andréas Pieris

doi:10.1007/978-3-642-41660-6_8

ScienceGate Book Chapters

BOOK-CHAPTER

Tractable Reasoning in Description Logics with Functionality Constraints

Andrea Calı̀Georg Gottlob Andréas Pieris

Year: 2013 Lecture notes in computer science Pages: 174-192 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-642-41660-6_8

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science Description logic Conjunctive query Ontology Ontology language Query language Theoretical computer science Set (abstract data type) Programming language Information retrieval Semantic Web Relational database

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.10

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Semantic Web and Ontologies

Physical Sciences → Computer Science → Artificial Intelligence

Advanced Database Systems and Queries

Physical Sciences → Computer Science → Computer Networks and Communications

Logic, Reasoning, and Knowledge

Physical Sciences → Computer Science → Artificial Intelligence

Tractable Reasoning in Description Logics with Functionality Constraints

Metrics

Topics

Related Documents

Tractable Reasoning with Bayesian Description Logics

Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics

Reasoning on expressive description logics with arithmetic constraints

Temporalising Tractable Description Logics

Consequence-based and fixed-parameter tractable reasoning in description logics