View-based query answering in description logics: Semantics and complexity
Semantic index: Scalable query answering without forward chaining or exponential rewritings
Data complexity of query answering in description logics
Actions and programs over description logic knowledge bases: A functional approach
Containment of regular path queries under description logic constraints
A practical automata-based technique for reasoning in expressive description logics
Dependencies to optimize ontology based data access
The complexity of conjunctive query abduction in DL-Lite
Dependencies: Making ontology based data access work in practice
The MASTRO system for ontology-based data access
Answering regular path queries in expressive description logics via alternating tree-automata
Evolution of DL-Lite knowledge bases
Expressive approximations in DL-Lite ontologies
Query rewriting in DL-LiteHNhorn
A logical framework for representing ontologies
Web-based graphical querying of databases through an ontology: the Wonder system
Discovering functional dependencies for multidimensional design
The DL-Lite family and relations
Ontologies and databases: The DL-Lite approach
DL-Lite without the unique name assumption
Regular path queries in expressive description logics with nominals
Conceptual modeling for data integration
Towards an open framework for ontology based data access with Protégé and DIG 1.1
Aggregate queries over ontologies
Explanation in the DL-Lite family of description logics
View-based query answering over description logic ontologies
Path-based identification constraints in description logics
Data integration through DL-LiteA ontologies
Realizing ontology based data access: A plug-in for Protégé
Data complexity of query answering in expressive description logics via tableaux
Conjunctive query containment and answering under description logics constraints
Finite model reasoning on UML class diagrams via constraint programming
Ontology-based database access
Query answering in DL-Lite dialects
Answering regular path queries in expressive description logics: An automata-theoretic approach
DL-Lite in the light of first-order logic
Actions and programs over description logic ontologies
Complexity of reasoning in Entity Relationship models
Complexity of reasoning in Entity Relationship models
Mastro-i: Efficient integration of relational data through DL ontologies
Can OWL model football leagues?
An extension of DIG 2.0 for handling bulk data
EQL-Lite: Effective first-order query processing in description logics
Tractable reasoning and efficient query answering in description logics: The DL-Lite family
The description logic handbook: Theory, implementation, and applications
The description logic handbook: Theory, implementation, and applications
Linking data to ontologies: The description logic DL-LiteA
Ontologies and description logics
Data complexity of answering unions of conjunctive queries in SHIQ
Characterizing data complexity for conjunctive query answering in expressive description logics
Epistemic first-order queries over description logic knowledge bases
Data complexity of answering unions of conjunctive queries in SHIQ
Data complexity of query answering in description logics
Efficiently managing data intensive ontologies
Tailoring OWL for data intensive ontologies
Data complexity of query answering in description logics
DL-Lite: Tractable description logics for ontologies
A logic based approach for matching user profiles
DL-Lite: Practical reasoning for rich DLs
Towards implementing finite model reasoning in description logics
A description logic based approach for matching user profiles
Relationship with other formalisms
The description logic handbook: Theory, implementation, and applications
Description logics: Foundations for class-based knowledge representation
Reasoning on UML class diagrams using description logic based systems
Identification constraints and functional dependencies in description logics
Reasoning in expressive description logics
Keys for free in description logics
Answering queries using views over description logics knowledge bases
Unifying class-based representation formalisms
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
Answering queries using views in description logics
A note on encoding inverse roles and functional restrictions in ALC knowledge bases
On the decidability of query containment under constraints
Conjunctive query containment in Description Logics with n-ary relations
Finite model reasoning in description logics
Reasoning with inclusion axioms in description logics: Algorithms and complexity
A unified framework for class based representation formalisms
Finite satisfiability and implication in concept languages
Tractability and intractability of controlled languages for data access
Controlled aggregate tree shaped questions over ontologies
Exploring controlled english ontology-based data access
English querying over ontologies: E-QuOnto
Expressing DL-Lite ontologies with controlled english
View synthesis from schema mappings
Node selection query languages for trees
An automata-theoretic approach to Regular XPath
Regular XPath: Constraints, query containment and view-based answering for XML documents
View-based query processing: On the relationship between rewriting, answering and losslessness
View-based query processing: On the relationship between rewriting, answering and losslessness
Decidable containment of recursive queries
Reasoning on regular path queries
Decidable containment of recursive queries
View-based query answering and query containment over semistructured data
View-based query answering and query containment over semistructured data
View-based query processing and constraint satisfaction
Query processing using views for regular path queries with inverse
Containment of conjunctive regular path queries with inverse
Answering regular path queries using views
Query answering using views for data integration over the web
Rewriting of regular expressions and regular path queries
Rewriting of regular expressions and regular path queries
Rewriting regular expressions in semi-structured data
Rewriting of regular path queries
Inconsistency tolerance in P2P data integration: an epistemic logic approach
Data management in peer-to-peer data integration systems
What to ask to a peer: Query reformulation over ontology-based peers
Inconsistency tolerance in P2P data integration: an epistemic logic approach
Hyper: A framework for peer-to-peer data integration on grids
Logical foundations of peer-to-peer data integration
What to ask to a peer: Ontology-based query reformulation
Query reformulation over ontology-based peers
Semantic data integration in P2P systems
Dynamic query optimization under access limitations and dependencies
NGS: A New Generation Search engine supporting cross domain queries
NGS: a framework for multi-domain query answering
Optimization of query plans in the presence of access limitations
Optimising query answering in the presence of access limitations (position paper)
Containment of conjunctive queries under access limitations
Answering queries over relational databases using their conceptual schema
Enterprise modeling and data warehousing in telecom italia
Data integration: A logic-based perspective
Data integration under integrity constraints
Answering recursive queries under keys and foreign keys is undecidable
IBIS: Semantic data integration at work
Development of ontologies for the semantic web: An overview
On the role of integrity constraints in data integration
A framework for ontology integration
Optimized querying of integrated data over the Web
IBIS: Data integration at work
Accessing data integration systems through conceptual schemas
On the expressive power of data integration systems
Data integration under integrity constraints
Description logics for information integration
Ontology of integration and integration of ontologies
A framework for ontology integration
Accessing data integration systems through conceptual schemas
Data integration in data warehousing
Concept based design of data warehouses: The DWQ demonstrators
Modellazione e qualità dei dati in sistemi di data warehouse
Integrazione e qualità dei dati per Data Warehouse
Data integration and reconciliation in data warehousing: Conceptual modeling and reasoning support
A principled approach to data integration and reconciliation in data warehousing
Experimental prototype supporting data reconciliation
Use of the reconciliation tool at Telecom Italia
Description logic framework for information integration
Information integration: Conceptual modeling and reasoning support
Knowledge representation approach to information integration
Source integration in data warehousing
Schema and data integration methodology for DWQ
Experimentation with the incremental view integration
Data Warehouse architecture and quality model
Source integration in data warehousing
Foundations of relational artifacts verification
Verification of conjunctive-query based semantic artifacts
Artifact-centric workflow dominance
Automatic service composition and synthesis: the Roman Model
Automatic web service composition: Service-tailored vs. client-tailored approaches
Automatic composition of web services with nondeterministic behavior
Composing web services with nondeterministic behavior
Composition of services with nondeterministic observable behavior
Automatic composition of transition-based semantic web services with messaging
Modeling data & processes for service specifications in Colombo
Automatic composition of web services in Colombo
Automatic composition of process-based web services: a challenge
Automatic service composition based on behavioral descriptions
E SC : A tool for automatic composition of e-Services based on logics of programs
Synthesis of underspecified composite e-Services based on automated reasoning
Synthesis of composite e-services based on automated reasoning
Automatic composition of e-services that export their behavior
Automatic composition of e-services
e-Service composition by description logics based reasoning
A foundational vision of e-services
A foundational framework for e-services
Reasoning about actions for e-service composition
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Full satisfiability of UML class diagrams
Checking full satisfiability of conceptual models
Full satisfiability of UML class diagrams (extended abstract)
Reasoning over extended ER models
Reasoning on UML class diagrams
Finite satisfiability of UML class diagrams by constraint programming
Reasoning on UML class diagrams is EXPTIME-hard
Toward a new landscape of system management in an autonomic computing environment
A formal framework for reasoning on UML class diagrams
Reasoning on UML class diagrams in description logics
Description logic formalization of CIM
Description logics for conceptual data modeling
Structured objects: Modeling and reasoning
Increasing the power of structured objects
Reasoning on object-oriented schemas for data reengineering
Making object-oriented schemas more expressive
On the interaction between ISA and cardinality constraints
Semistructured data schemas with expressive constraints
Local constraints in semistructured data schemas
Representing and reasoning on XML documents: A description logic approach
Modeling and querying semi-structured data
Queries and constraints on semi-structured data
Semi-structured data with constraints and incomplete information
Extending semi-structured data
What can knowledge representation do for semi-structured data?
Queries and constraints on semi-structured data
Representing and reasoning on SGML documents
Representing SGML documents in Description Logics
Knowledge-based access to the Web
Multilingual search in libraries: The case-study of the Free University of Bozen-Bolzano
The multilingual thesaurus of LAURIN
LAURIN: A distributed digital library of newspaper clippings
Building a digital library of newspaper clippings: The LAURIN project
LAURIN: A distributed digital library of newspaper clippings
Reasoning about actions and planning in LTL action theories
Unrestricted and finite model reasoning in class-based representation formalisms
Proc. of the 2nd int. conf. on web reasoning and rule systems (RR 2008)
Proc. of the 20th int. workshop on description logics (DL 2007)
Proc. of the 16th int. workshop on description logics (DL 2003)
Proc. of the 9th int. conf. on database theory (ICDT 2003)
The description logic handbook: Theory, implementation, and applications
The description logic handbook: Theory, implementation, and applications
Proc. of the 9th int. workshop on knowledge representation meets databases (KRDB 2002)