Maurizio Lenzerini

According to our database1, Maurizio Lenzerini authored at least 261 papers between 1981 and 2018.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2009, "For contributions to data management and knowledge representation.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Managing Data through the Lens of an Ontology.
AI Magazine, 2018

2018 ACM PODS Alberto O. Mendelzon Test-of-Time Award.
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

A Framework for Explaining Query Answers in DL-Lite.
Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Using Ontologies for Semantic Data Integration.
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017
Semantic technology for open data publishing.
Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, 2017

On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies.
Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics, 2017

Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime.
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

2016
Ontology-Based Search of Genomic Metadata.
IEEE/ACM Trans. Comput. Biology Bioinform., 2016

The advantages of an Ontology-Based Data Management approach: openness, interoperability and data quality.
Scientometrics, 2016

Data integration for research and innovation policy: an Ontology-Based Data Management approach.
Scientometrics, 2016

A Higher-Order Semantics for Metaquerying in OWL 2 QL.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Regular Open APIs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Answering Metaqueries over Hi (OWL 2 QL) Ontologies.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015
Inconsistency-tolerant query answering in ontology-based data access.
J. Web Sem., 2015

Node Selection Query Languages for Trees.
CoRR, 2015

Crossing the boundary of "meta" in Conceptual Modeling (Discussion paper).
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Connecting Big Scholarly Data With Science of Science Policy: An Ontology-Based-Data- Management (Obdm) Approach.
Proceedings of ISSI 2015 Istanbul: 15th International Society of Scientometrics and Informetrics Conference, 2015

Sapientia: the Ontology of Multi-dimensional Research Assessment.
Proceedings of ISSI 2015 Istanbul: 15th International Society of Scientometrics and Informetrics Conference, 2015

Data Complexity of Query Answering in Description Logics (Extended Abstract).
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A higher-order semantics for OWL 2 QL ontologies (Extended abstract).
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
Developing Ontology-based Data Management for the Italian Public Debt.
Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Making Metaquerying Practical for Hi(DL - Lite R ) Knowledge Bases.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Ontology-based Data Management for the Italian Public Debt.
Proceedings of the Formal Ontology in Information Systems, 2014

Reducing global consistency to local consistency in Ontology-based Data Access.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Practical Query Answering over Hi (DL-LiteR) Knowledge Bases.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Data Quality in Ontology-based Data Access: The Case of Consistency.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
MASTRO STUDIO: Managing Ontology-Based Data Access applications.
PVLDB, 2013

On simplification of schema mappings.
J. Comput. Syst. Sci., 2013

Semantic technologies for industry: From knowledge modeling and integration to intelligent applications.
Intelligenza Artificiale, 2013

The scientific legacy of Marco Cadoli in Artificial Intelligence.
Intelligenza Artificiale, 2013

Data complexity of query answering in description logics.
Artif. Intell., 2013

Optimization of Query Rewriting in Ontology-Based Data Access.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Optimizing query rewriting in ontology-based data access.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Synthesizing Extensional Constraints in Ontology-Based Data Access.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Ontology-Based Data Access: The Experience at the Italian Department of Treasury.
Proceedings of the Industrial Track of the Conference on Advanced Information Systems Engineering 2013 (CAiSE'13), 2013

Rewrite and Conquer: Dealing with Integrity Constraints in Data Integration.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

Data Integration under Integrity Constraints.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012
Query Processing under GLAV Mappings for Relational and Graph Databases.
PVLDB, 2012

View-based query answering in Description Logics: Semantics and complexity.
J. Comput. Syst. Sci., 2012

Mastro: Ontology-Based Data Access at Work (Extended Abstract).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

MASTRO: A Reasoner for Effective Ontology-Based Data Access.
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Updating inconsistent Description Logic knowledge bases.
Proceedings of the ECAI 2012, 2012

Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Ontology-Based Data Management.
Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

Ontology-Based Data Access with Dynamic TBoxes in DL-Lite.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Report on DEIS'10: advanced school on data exchange, information, and streams (A GI-Dagstuhl Seminar).
SIGMOD Record, 2011

The MASTRO system for ontology-based data access.
Semantic Web, 2011

Unifying Class-Based Representation Formalisms
CoRR, 2011

On the evolution of the instance level of DL-lite knowledge bases
CoRR, 2011

Inconsistency-Tolerant Semantics for Description Logic Ontologies (Extended Abstract).
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

Query Rewriting for Inconsistent DL-Lite Ontologies.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Simplifying schema mappings.
Proceedings of the Database Theory, 2011

Mapping Data to Higher-Order Description Logic Knowledge Bases.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

On the Evolution of the Instance Level of DL-Lite Knowledge Bases.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Ontology-based data management.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Higher-Order Description Logics for Domain Metamodeling.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
View Synthesis from Schema Mappings
CoRR, 2010

Experimenting Ontology-based Data Access with Mastro (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Inconsistency-Tolerant Semantics for Description Logics.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Senso Comune.
Proceedings of the International Conference on Language Resources and Evaluation, 2010

Mastro at Work: Experiences on Ontology-Based Data Access.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Node Selection Query Languages for Trees.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Foreword to TODS SIGMOD/PODS 2008 special issue.
ACM Trans. Database Syst., 2009

On Instance-level Update and Erasure in Description Logic Ontologies.
J. Log. Comput., 2009

Ontologies and Databases: The DL-Lite Approach.
Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

On Higher-Order Description Logics.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

An Automata-Theoretic Approach to Regular XPath.
Proceedings of the Database Programming Languages, 2009

Conceptual Modeling for Data Integration.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

Using OWL in Data Integration.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008
Conjunctive query containment and answering under description logic constraints.
ACM Trans. Comput. Log., 2008

Database theory column: report on PODS 2008.
SIGACT News, 2008

Linking Data to Ontologies.
J. Data Semantics, 2008

Inconsistency tolerance in P2P data integration: An epistemic logic approach.
Inf. Syst., 2008

Automatic Service Composition and Synthesis: the Roman Model.
IEEE Data Eng. Bull., 2008

Data Integration throughDL-LiteA Ontologies.
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

View-Based Query Answering over Description Logic Ontologies.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Path-Based Identification Constraints in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Towards Higher-Order DL-Lite.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
View-based query processing: On the relationship between rewriting, answering and losslessness.
Theor. Comput. Sci., 2007

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.
J. Autom. Reasoning, 2007

Ontology-based Database Access.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

On reconciling data exchange, data integration, and peer data management.
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

Can OWL Model Football Leagues?
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

EQL-Lite: Effective First-Order Query Processing in Description Logics.
Proceedings of the IJCAI 2007, 2007

Actions and Programs over Description Logic Ontologies.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

MASTRO-I: Efficient Integration of Relational Data through DL Ontologies.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

On the Approximation of Instance Level Update and Erasure in Description Logics.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Linking Data to Ontologies: The Description Logic DL-Lite_A.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

ODBASE 2006 International Conference (Ontologies, DataBases, and Applications of Semantics) PC Co-chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Data Complexity of Query Answering in Description Logics.
Proceedings of the Proceedings, 2006

Epistemic First-order Queries over Description Logic Knowledge Bases.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

On the Update of Description Logic Ontologies at the Instance Level.
Proceedings of the Proceedings, 2006

2005
Preface.
Theor. Comput. Sci., 2005

Automatic Service Composition Based on Behavioral Descriptions.
Int. J. Cooperative Inf. Syst., 2005

Models for semantic interoperability in service-oriented architectures.
IBM Systems Journal, 2005

Conjunctive Query Containment and Answering under Description Logics Constraints
CoRR, 2005

Efficiently Managing Data Intensive Ontologies.
Proceedings of the SWAP 2005, 2005

Logical Foundations for Data Integration.
Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

The INFOMIX system for advanced integration of incomplete and inconsistent data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Tailoring OWL for Data Intensive Ontologies.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005


View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness.
Proceedings of the Database Theory, 2005

Data Complexity of Query Answering in Description Logics.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach.
Proceedings of the Database Programming Languages, 10th International Symposium, 2005

Modeling Data & Processes for Service Specifications in Colombo.
Proceedings of the EMOI, 2005

DL-Lite: Tractable Description Logics for Ontologies.
Proceedings of the Proceedings, 2005

QuOnto: Querying Ontologies.
Proceedings of the Proceedings, 2005

2004
Data integration under integrity constraints.
Inf. Syst., 2004

: A Tool for Automatic Composition ofServices Based on Logics of Programs.
Proceedings of the Technologies for E-Services, 5th International Workshop, 2004

Query Reformulation over Ontology-based Peers.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Logical Foundations of Peer-To-Peer Data Integration.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

What to Ask to a Peer: Ontolgoy-based Query Reformulation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Quality-aware data Integration in Peer-to-Peer Systems.
Proceedings of the IQIS 2004, 2004

Tackling Inconsistencies in Data Integration through Source Preferences.
Proceedings of the IQIS 2004, 2004

Synthesis of underspecified composite e-services based on automated reasoning.
Proceedings of the Service-Oriented Computing, 2004

Hyper: A Framework for Peer-to-Peer Data Integration on Grids.
Proceedings of the Semantics for Grid Databases, 2004

DL-Lite: Practical Reasoning for Rich Dls.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Principles of P2P Data Integration.
Proceedings of the DIWeb2004, 2004

Ontologies for Interoperability.
Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

2003
Reasoning on regular path queries.
SIGMOD Record, 2003

A Foundational Vision of e-Services.
Proceedings of the Web Services, 2003

Query Containment Using Views.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

View-based query containment.
Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003

Automatic Composition of E-services That Export Their Behavior.
Proceedings of the Service-Oriented Computing, 2003

Description Logics for Databases.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

e-Service Composition by Description Logics Based Reasoning.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Semantic Data Integration in P2P Systems.
Proceedings of the Databases, 2003

IBIS: Semantic Data Integration at Work.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

Source Integration for Data Warehousing.
Multidimensional Databases, 2003

2002
Rewriting of Regular Expressions and Regular Path Queries.
J. Comput. Syst. Sci., 2002

On the Role of Integrity Constraints in Data Integration.
IEEE Data Eng. Bull., 2002

The multilingual thesaurus of LAURIN.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Integrating Inconsistent and Incomplete Data Sources.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

IBIS: Data Integration at Work.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Accessing Data Integration Systems through Conceptual Schemas.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Data Integration: A Theoretical Perspective.
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Lossless Regular Views.
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Description Logics: Foundations for Class-based Knowledge Representation.
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Incompleteness and inconsistency in information integration.
Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), 2002

Source inconsistency and incompleteness in data integration.
Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), 2002

A Formal Framework for Reasoning on UML Class Diagrams.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

On the Expressive Power of Data Integration Systems.
Proceedings of the Conceptual Modeling, 2002

Incompleteness and inconsistency in information integration.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

2ATAs make DLs easy.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Data Integration under Integrity Constraints.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

Description Logics for Information Integration.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB).
SIGMOD Record, 2001

Introduction to the special issue on data extraction, cleaning, and reconciliation.
Inf. Syst., 2001

Data Integration in Data Warehousing.
Int. J. Cooperative Inf. Syst., 2001

A Framework for Ontology Integration.
Proceedings of the Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30, 2001

A Framework for Ontology Integration.
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

Data Integration Needs Reasoning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Preface.
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), 2001

Identification Constraints and Functional Dependencies in Description Logics.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Accessing Data Integration Systems through Conceptual Schemas.
Proceedings of the Conceptual Modeling, 2001

Ontology of Integration and Integration of Ontologies.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

View-Based Query Answering and Query Containment over Semistructured Data.
Proceedings of the Database Programming Languages, 8th International Workshop, 2001

Data Integration Is Harder than You Thought.
Proceedings of the Cooperative Information Systems, 9th International Conference, 2001

Reasoning in Expressive Description Logics.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000
LOCAL++: A C++ framework for local search algorithms.
Softw., Pract. Exper., 2000

Concept Based Design of Data Warehouses: The DWQ Demonstrators.
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000

Local constraint in semistructured data schemas.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

View-Based Query Processing for Regular Path Queries with Inverse.
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

View-Based Query Processing and Constraint Satisfaction.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

What is View-Based Query Rewriting?
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000

Semistructured data schemas with expressive constraints.
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000

Containment of Conjunctive Regular Path Queries with Inverse.
Proceedings of the KR 2000, 2000

Answering Regular Path Queries Using Views.
Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

Keys for Free in Description Logics.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

What is Query Rewriting?
Proceedings of the Cooperative Information Agents IV, 2000

Answering Queries Using Views over Description Logics Knowledge Bases.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Modeling and Querying Semi-Structured data .
Networking and Information Systems, 1999

Representing and Reasoning on XML Documents: A Description Logic Approach.
J. Log. Comput., 1999

Unifying Class-Based Representation Formalisms.
J. Artif. Intell. Res., 1999

Query Answering Using Views for Data Integration over the Web.
Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999

LOCAL++: A C++ Framework for Local Search Algorithms.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Data Integration and Warehousing in Telecom Italia.
Proceedings of the SIGMOD 1999, 1999

Rewriting of Regular Path Queries.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

Rewriting of Regular Expressions and Regular Path Queries.
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

Answering Queries Using Views in Description Logics.
Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), 1999

Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Description Logics and Their Relationships with Databases.
Proceedings of the Database Theory, 1999

A Principled Approach to Data Integration and Reconciliation in Data Warehousing.
Proceedings of the Intl. Workshop on Design and Management of Data Warehouses, 1999

Queries and Constraints on Semi-structured Data.
Proceedings of the Advanced Information Systems Engineering, 1999

1998
AL-log: Integrating Datalog and Description Logics.
J. Intell. Inf. Syst., 1998

An Epistemic Operator for Description Logics.
Artif. Intell., 1998

OLAP and Data Warehousing in Statistical Databases (Panel).
Proceedings of the 10th International Conference on Scientific and Statistical Database Management, 1998

Extending Semi-Structured Data.
Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

On the Decidability of Query Containment under Constraints.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Description Logics and their Applications.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Description Logic Framework for Information Integration.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

WAG: Web-At-a-Glance.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Semi-structured Data with Constraints and Incomplete Information.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Source Integration in Data Warehousing.
Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Description Logics for Conceptual Data Modeling.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

Information Integration: Conceptual Modeling and Reasoning Support.
Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems, 1998

What can Knowledge Representation do for Semi-Structured Data?
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
A Uniform Framework for Concept Definitions in Description Logics.
J. Artif. Intell. Res., 1997

The Complexity of Concept Languages.
Inf. Comput., 1997

A Uniform Framework for Concept Definitions in Description Logics
CoRR, 1997

Representing and Reasoning on SGML Documents.
Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Conjunctive Query Containment in Description Logics with n-ary Relations.
Proceedings of the 1997 International Workshop on Description Logics, 1997

Datalog and Description Logics: Expressive Power.
Proceedings of the Database Programming Languages, 6th International Workshop, 1997

Datalog and Description Logics: Expressive Power.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
TBox and ABox Reasoning in Expressive Description Logics.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

TBox and ABox Reasoning in Expressive Description Logics.
Proceedings of the 1996 International Workshop on Description Logics, 1996

Representing SGML Documents in Description Logics.
Proceedings of the 1996 International Workshop on Description Logics, 1996

Datalog and Description Logics: Expressive Power - Preliminary Report.
Proceedings of the 1996 International Workshop on Description Logics, 1996

1995
Conceptual Language for Statistical Data Modeling.
Data Knowl. Eng., 1995

Increasing the Power of Structured Objects.
Proceedings of the KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1995

What's in an Aggregate: Foundations for Description Logics with Tuples and Sets.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Structured Objects: Modeling and Reasoning.
Proceedings of the Deductive and Object-Oriented Databases, 1995

PDL-based framework for reasoning about actions.
Proceedings of the Topics in Artificial Intelligence, 1995

1994
Deduction in Concept Languages: From Subsumption to Instance Checking.
J. Log. Comput., 1994

The Complexity of Propositional Closed World Reasoning and Circumscription.
J. Comput. Syst. Sci., 1994

Making Object-Oriented Schemas More Expressive.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

Description Logics for Schema Level Reasoning in Databases (Abstract).
Proceedings of the Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1994

A Unified Framework for Class-Based Representation Formalisms.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

On the Interaction Between ISA and Cardinality Constraints.
Proceedings of the Tenth International Conference on Data Engineering, 1994

Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus.
ECAI, 1994

Boosting the Correspondence between Description Logics and Propositional Dynamic Logics.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
Deductive Entity-Relationship Modeling.
IEEE Trans. Knowl. Data Eng., 1993

Representing and Using Interschema Knowledge in Cooperative Information Systems.
Int. J. Cooperative Inf. Syst., 1993

Interschema Knowledge in Cooperative Information Systems.
CoopIS, 1993

1992
The Complexity of Existential Quantification in Concept Languages.
Artif. Intell., 1992

Adding Epistemic Operators to Concept Languages.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Queries, Rules and Definitions as Epistemic Sentences in Concept Languages.
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991
Type data bases with incomplete information.
Inf. Sci., 1991

Querying Concept-based Knowledge Bases.
Proceedings of the Processing Declarative Knowledge, 1991

The Complexity of Concept Languages.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Tractable Concept Languages.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

The Complexity of Concept Languages (Extended Abstract).
Description Logics, 1991

Tractable Concept Languages.
Description Logics, 1991

A Hybrid System with Datalog and Concept Languages.
Proceedings of the Trends in Artificial Intelligence, 1991

Concept Languages as Query Languages.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990
On the satisfiability of dependency constraints in entity-relationship schemata.
Inf. Syst., 1990

Nonmonotonic reasoning.
Artif. Intell. Rev., 1990

Using Terminological Reasoning in Hybrid Systems.
AI Commun., 1990

Concept Description Language for Statistical Data Modeling.
Proceedings of the 16th International Conference on Very Large Data Bases, 1990

An Efficient Method for Hybrid Deduction.
ECAI, 1990

The Complexity of Closed World Reasoning and Circumscription.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989
A Deductive Method for Entity-Relationship Modeling.
Proceedings of the Fifteenth International Conference on Very Large Data Bases, 1989

1988
TermLog: a Logic for Terminological Knowledge.
Proceedings of the Methodologies for Intelligent Systems, 1988

Object Modeling Based on Logic.
Proceedings of the Entity-Relationship Approach: A Bridge to the User, 1988

Belief Revision as Meta-Reasoning.
ECAI, 1988

1987
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata.
Proceedings of the VLDB'87, 1987

Formal Treatment of Incomplete Information in Type Data Bases.
Proceedings of the Methodologies for Intelligent Systems, 1987

Covering and Disjointness Constraints in Type Networks.
Proceedings of the Third International Conference on Data Engineering, 1987

Class Hierarchies and Their Complexity.
Proceedings of the Advances in Database Programming Languages, 1987

1986
A Comparative Analysis of Methodologies for Database Schema Integration.
ACM Comput. Surv., 1986

1985
SERM: Semantic Entity-Relationship Model.
Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985

1984
A Methodology for Data Schema Integration in the Entity Relationship Model.
IEEE Trans. Software Eng., 1984

1983
Cardinality Constraints in the Entity-Relationship Model.
Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83), 1983

A Methodology for Data Schema Integration in the Entity-Relationship Model.
Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83), 1983

Views Integration.
Methodology and Tools for Data Base Design, 1983

INCOD-DTE: A System for Interative Conceptual Design of Data, Transactions and Events.
Methodology and Tools for Data Base Design, 1983

1982
A computer-aided methodology for conceptual data-base design.
Inf. Syst., 1982

1981
INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model.
Proceedings of the Entity-Relationship Approach to Information Modeling and Analysis, 1981

INCOD: A system for Interactive Conceptual Data Base Design.
Proceedings of the 18th Design Automation Conference, 1981


  Loading...