Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Partial evaluation in logic programming
Journal of Logic Programming
A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
A Portrait of the Semantic Web in Action
IEEE Intelligent Systems
MAFRA - A MApping FRAmework for Distributed Ontologies
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
ILOG: Declarative Creation and Manipulation of Object Identifiers
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A logic-based approach to data integration
Theory and Practice of Logic Programming
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Characterizing data complexity for conjunctive query answering in expressive description logics
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
DRAGO: distributed reasoning architecture for the semantic web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
An FCA-based solution for ontology mediation
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Aggregate queries over ontologies
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
An Ontology-Based Approach for the Semantic Modelling and Reasoning on Trajectories
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies
Semantics in Data and Knowledge Bases
Explanation in the DL-Lite Family of Description Logics
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Datalog±: a unified approach to ontologies and integrity constraints
Proceedings of the 12th International Conference on Database Theory
A general datalog-based framework for tractable query answering over ontologies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Information Flow in a Peer-to-Peer Data Integration System
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Conceptual Modeling for Data Integration
Conceptual Modeling: Foundations and Applications
Automatic Extraction of Ontologies Wrapping Relational Data Sources
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Discovering functional dependencies for multidimensional design
Proceedings of the ACM twelfth international workshop on Data warehousing and OLAP
Usage of the Jess Engine, Rules and Ontology to Query a Relational Database
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Incremental Generation of Mappings in an Ontology-Based Data Access Context
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Merging Expressive Ontologies Using Formal Concept Analysis
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Tractable Query Answering over Conceptual Schemata
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Supporting the Development of Data Wrapping Ontologies
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
The DL-lite family and relations
Journal of Artificial Intelligence Research
UFOme: An ontology mapping system with strategy prediction capabilities
Data & Knowledge Engineering
Web-based graphical querying of databases through an ontology: the Wonder system
Proceedings of the 2010 ACM Symposium on Applied Computing
DL-Lite with temporalised concepts, rigid axioms and roles
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
A framework for multidimensional design of data warehouses from ontologies
Data & Knowledge Engineering
Using ontologies to discover fact IDs
DOLAP '10 Proceedings of the ACM 13th international workshop on Data warehousing and OLAP
Information flow based specification of data integration problem
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Expressive approximations in DL-lite ontologies
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Query answering under non-guarded rules in datalog+/-
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Inconsistency-tolerant semantics for description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Advanced processing for ontological queries
Proceedings of the VLDB Endowment
Query answering under expressive entity-relationship schemata
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Enabling ontology-based access to streaming data sources
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Evolution of DL-lite knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Completeness guarantees for incomplete reasoners
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Query processing in a three-level ontology-based data integration system
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
A semantic privacy-preserving model for data sharing and integration
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Exelixis: evolving ontology-based data integration system
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
DO-ROAM: activity-oriented search and navigation with OpenStreetMap
GeoS'11 Proceedings of the 4th international conference on GeoSpatial semantics
A natural language interface for data warehouse question answering
NLDB'11 Proceedings of the 16th international conference on Natural language processing and information systems
Optimized query rewriting for OWL 2 QL
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Polynomial conjunctive query rewriting under unary inclusion dependencies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Query rewriting for inconsistent DL-lite ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Automatic building of an appropriate global ontology
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Tailoring temporal description logics for reasoning over temporal conceptual models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Capturing instance level ontology evolution for DL-lite
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
A logical toolbox for ontological reasoning
ACM SIGMOD Record
Ontology evolution in data integration: query rewriting to the rescue
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Extended rules in knowledge-based data access
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Reasoning with the depth-first iterative deepening strategy in the DLog system
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Semantic Web search based on ontological conjunctive queries
Web Semantics: Science, Services and Agents on the World Wide Web
Conjunctive query answering in the description logic SH using knots
Journal of Computer and System Sciences
View-based query answering in Description Logics: Semantics and complexity
Journal of Computer and System Sciences
Appropriate global ontology construction: a domain-reference-ontology based approach
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Ontological query answering under expressive Entity-Relationship schemata
Information Systems
Semantic web search based on ontological conjunctive queries
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Top-k retrieval for ontology mediated access to relational databases
Information Sciences: an International Journal
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and Artificial Intelligence
Transforming semi-structured life science diagrams into meaningful domain ontologies with DiDOn
Journal of Biomedical Informatics
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Efficient reasoning in proper knowledge bases with unknown individuals
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
The combined approach to ontology-based data access
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Optimizing query rewriting for multiple queries
Proceedings of the Ninth International Workshop on Information Integration on the Web
Prexto: query rewriting under extensional constraints in DL-lite
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Logical difference computation with CEX2.5
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
On the complexity of ontological reasoning under disjunctive existential rules
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
The logical difference for the lightweight description logic EL
Journal of Artificial Intelligence Research
A differentor-based adaptive ontology-matching approach
Journal of Information Science
Towards more expressive ontology languages: The query answering problem
Artificial Intelligence
Ontology-based semantic search on the Web and its combination with the power of inductive reasoning
Annals of Mathematics and Artificial Intelligence
Ontology-based governance of data-aware processes
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Query rewriting under ontology contraction
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Distributed ontology based data access via logic programming
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Evaluation of techniques for inconsistency handling in OWL 2 QL ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Ontology evolution: assisting query migration
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Data complexity of query answering in description logics
Artificial Intelligence
Query processing under GLAV mappings for relational and graph databases
Proceedings of the VLDB Endowment
Optimizing query rewriting in ontology-based data access
Proceedings of the 16th International Conference on Extending Database Technology
Ontology evolution without tears
Web Semantics: Science, Services and Agents on the World Wide Web
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP
Proceedings of the 32nd symposium on Principles of database systems
Well-founded semantics for extended datalog and ontological reasoning
Proceedings of the 32nd symposium on Principles of database systems
Data integration driven ontology design, case study smart city
Proceedings of the 3rd International Conference on Web Intelligence, Mining and Semantics
Capturing model-based ontology evolution at the instance level: The case of DL-Lite
Journal of Computer and System Sciences
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Temporalizing ontology-based data access
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
From OWL to DL−Lite through efficient ontology approximation
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Ontology-based data access with databases: a short course
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Mastro studio: managing ontology-based data access applications
Proceedings of the VLDB Endowment
Tractable approximations of consistent query answering for robust ontology-based data access
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Verification of inconsistency-aware knowledge and action bases
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Query rewriting under query refinements
Knowledge-Based Systems
Bringing relational databases into the Semantic Web: A survey
Semantic Web - On real-time and ubiquitous social semantics
A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |
Many organizations nowadays face the problem of accessing existing data sources by means of flexible mechanisms that are both powerful and efficient. Ontologies are widely considered as a suitable formal tool for sophisticated data access. The ontology expresses the domain of interest of the information system at a high level of abstraction, and the relationship between data at the sources and instances of concepts and roles in the ontology is expressed by means of mappings. In this paper we present a solution to the problem of designing effective systems for ontology-based data access. Our solution is based on three main ingredients. First, we present a new ontology language, based on Description Logics, that is particularly suited to reason with large amounts of instances. The second ingredient is a novel mapping language that is able to deal with the so-called impedance mismatch problem, i.e., the problem arising from the difference between the basic elements managed by the sources, namely data, and the elements managed by the ontology, namely objects. The third ingredient is the query answering method, that combines reasoning at the level of the ontology with specific mechanisms for both taking into account the mappings and efficiently accessing the data at the sources.