Sotabase

Career

· Professor Of Computer Science, University of Oxford2022–
· Co-Founder, OBDA Systems2017–
· Full Professor, DIAG, Sapienza Università di Roma1998–

Publications (392)

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of automated reasoning · 2007
1,573
cited
Linking Data to Ontologies
Journal on Data Semantics · 2008
964
cited
Reasoning on UML class diagrams
Artificial Intelligence · 2005
654
cited
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence · 2000
619
cited
Data Complexity of Query Answering in Description Logics
Description Logics · 2006
494
cited
Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints
447
cited
Automatic Composition of E-services That Export Their Behavior
International Conference on Service Oriented Computing · 2003
445
cited
DL-Lite: Tractable Description Logics for Ontologies
AAAI Conference on Artificial Intelligence · 2005
433
cited
The MASTRO system for ontology-based data access
Semantic Web · 2011
330
cited
Automatic Composition of Transition-based Semantic Web Services with Messaging
Very Large Data Bases Conference · 2005
301
cited
Dwq : Esprit Long Term Research Project, No 22469 Description Logic Framework for Information Integration
298
cited
A Framework for Ontology Integration
The Emerging Semantic Web · 2001
266
cited
Logical foundations of peer-to-peer data integration
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems · 2004
250
cited
Ontologies and Databases: The DL-Lite Approach
Reasoning Web · 2009
235
cited
Rewriting of regular expressions and regular path queries
Journal of computer and system sciences (Print) · 1999
222
cited
Containment of Conjunctive Regular Path Queries with Inverse
International Conference on Principles of Knowledge Representation and Reasoning · 2000
215
cited
Synthesis for LTL and LDL on Finite Traces
International Joint Conference on Artificial Intelligence · 2015
215
cited
TBox and ABox Reasoning in Expressive Description Logics
International Conference on Principles of Knowledge Representation and Reasoning · 1996
215
cited
Automatic Service Composition Based on Behavioral Descriptions
International Journal of Cooperative Information Systems · 2005
213
cited
Information integration: conceptual modeling and reasoning support
Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122) · 1998
187
cited
Sotabase