| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali |
Verification of Relational Data-Centric Dynamic Systems with External Services  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
View-based query answering in Description Logics: Semantics and complexity. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo |
The MASTRO system for ontology-based data access. |
Semantic Web |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yuxiao Hu, Giuseppe De Giacomo |
Generalized Planning: Synthesizing Plans that Work for Multiple Environments. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner |
Computing Infinite Plans for LTL Goals Using a Classical Planner. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Mapping Data to Higher-Order Description Logic Knowledge Bases. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis |
Verification of Conjunctive-Query Based Semantic Artifacts. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
Simplifying schema mappings. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli |
Foundations of Relational Artifacts Verification. |
BPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Higher-Order Description Logics for Domain Metamodeling. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
View Synthesis from Schema Mappings |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati |
Conjunctive Artifact-Centric Services. |
ICSOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña |
Generalized Planning with Loops under Strong Fairness Constraints. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce |
Situation Calculus Based Programs for Representing and Reasoning about Game Structures. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña |
Agent programming via planning programs. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Paolo Felli |
Agent composition synthesis based on ATL. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña |
Two-Player Game Structures for Generalized Planning and Agent Composition. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
Node Selection Query Languages for Trees. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
On Instance-level Update and Erasure in Description Logic Ontologies. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi |
Using OWL in Data Integration. |
Semantic Web Information Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Sardiña, Giuseppe De Giacomo |
Composition of ConGolog Programs. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Fabio Patrizi |
Automated Composition of Nondeterministic Stateful Services. |
WS-FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi |
Composition of Partially Observable Services Exporting their Behaviour. |
ICAPS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
On Higher-Order Description Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella |
On-line adaptation of sequential mobile processes running concurrently. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
GOLOG, pervasive scenarios, process management, situation calculus, smart devices |
| 1 | Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su |
Artifact-Centric Workflow Dominance. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
An Automata-Theoretic Approach to Regular XPath. |
DBPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Conceptual Modeling for Data Integration. |
Conceptual Modeling: Foundations and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati |
Ontologies and Databases: The DL-Lite Approach. |
Reasoning Web |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi |
Automatic Service Composition via Simulation. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi |
Automatic Service Composition and Synthesis: the Roman Model. |
IEEE Data Eng. Bull. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Linking Data to Ontologies. |
J. Data Semantics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Inconsistency tolerance in P2P data integration: An epistemic logic approach. |
Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
Conjunctive query containment and answering under description logic constraints. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
computational compexity, conjunctve queries, Description logics, query containment |
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi |
Data Integration throughDL-LiteA Ontologies. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Sardiña, Giuseppe De Giacomo |
Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. |
ICAPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Towards Higher-Order DL-Lite. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Path-Based Identification Constraints in Description Logics. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo |
Behavior Composition in the Presence of Failure. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
View-Based Query Answering over Description Logic Ontologies. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde |
A model of contingent planning for agent programming languages. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
View-based query processing: On the relationship between rewriting, answering and losslessness. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
DL-Lite, Description logics, Query answering, Ontology languages |
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
EQL-Lite: Effective First-Order Query Processing in Description Logics. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Sebastian Sardiña |
Automatic Synthesis of New Behaviors from a Library of Available Behaviors. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Actions and Programs over Description Logic Ontologies. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati |
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
Ontology-based Database Access. |
SEBD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini |
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Can OWL Model Football Leagues? |
OWLED |
2007 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
On reconciling data exchange, data integration, and peer data management. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
data integration, data exchange, peer data management |
| 1 | Massimiliano de Leoni, Massimo Mecella, Giuseppe De Giacomo |
Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. |
BPM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi |
AutomaticWorkflows Composition of Mobile Services. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo |
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
On the Approximation of Instance Level Update and Erasure in Description Logics. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Epistemic First-order Queries over Description Logic Knowledge Bases. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Massimo Mecella |
Automatic Web Service Composition. |
IEEE SCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
Linking Data to Ontologies: The Description Logic DL-Lite_A. |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
On the Limits of Planning over Belief States under Strict Uncertainty. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Data Complexity of Query Answering in Description Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fahima Cheikh, Giuseppe De Giacomo, Massimo Mecella |
Automatic web services composition in trustaware communities. |
SWS |
2006 |
DBLP DOI BibTeX RDF |
web services, access control, trust, composition |
| 1 | Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese |
ComposingWeb Services with Nondeterministic Behavior. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati |
On the Update of Description Logic Ontologies at the Instance Level. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella |
Automatic Service Composition Based on Behavioral Descriptions. |
Int. J. Cooperative Inf. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi |
Decidable containment of recursive queries. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
Conjunctive Query Containment and Answering under Description Logics Constraints |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo |
Reasoning on UML class diagrams. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo |
Data Integration: A Logic-Based Perspective. |
AI Magazine |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella |
Modeling Data & Processes for Service Specifications in Colombo. |
EMOI-INTEROP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Data Complexity of Query Answering in Description Logics. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella |
Automatic Composition of Web Services in Colombo. |
SEBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella |
Composition of Services with Nondeterministic Observable Behavior. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Tailoring OWL for Data Intensive Ontologies. |
OWLED |
2005 |
DBLP BibTeX RDF |
|
| 1 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella |
Automatic Composition of Transition-based Semantic Web Services with Messaging. |
VLDB |
2005 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Efficiently Managing Data Intensive Ontologies. |
SWAP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati |
QuOnto: Querying Ontologies. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
DL-Lite: Tractable Description Logics for Ontologies. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini |
Data integration under integrity constraints. |
Inf. Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
On the Semantics of Deliberation in Indigolog - from Theory to Implementation. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
models of agency, planning with, incomplete information, deliberation, agent programming |
| 1 | Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo |
Towards Implementing Finite Model Reasoning in Description Logics. |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere |
DL-Lite: Practical Reasoning for Rich Dls. |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Query Reformulation over Ontology-based Peers. |
SEBD |
2004 |
DBLP BibTeX RDF |
|
| 1 | Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese |
Synthesis of underspecified composite e-services based on automated reasoning. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
intelligent services, service composition models and language, theoretical framework for service representation and compositions |
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere |
Hyper: A Framework for Peer-to-Peer Data Integration on Grids. |
ICSNW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
Tackling Inconsistencies in Data Integration through Source Preferences. |
IQIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
What to Ask to a Peer: Ontolgoy-based Query Reformulation. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella |
: A Tool for Automatic Composition ofServices Based on Logics of Programs. |
TES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
On Ability to Autonomously Execute Agent Programs with Sensing. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Logical Foundations of Peer-To-Peer Data Integration. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Toni Mancini |
Scaling Up Reasoning about Actions Using Relational Database Technology. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
Reasoning on regular path queries. |
SIGMOD Record |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati |
Semantic Data Integration in P2P Systems. |
DBISP2P |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola |
IBIS: Semantic Data Integration at Work. |
CAiSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo |
Expressive Description Logics. |
Description Logic Handbook |
2003 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi (eds.) |
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella |
e-Service Composition by Description Logics Based Reasoning. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo |
Reasoning on UML Class Diagrams is EXPTIME-hard. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")