Sfoglia per Autore
ML systems: A Proof Theory for Contexts
2000-01-01 Serafini, Luciano; Giunchiglia, Fausto
The Local Relational Model: Model and Proof Theory
2001-01-01 Giunchiglia, Fausto; Mylopoulos, John; Bernstein, Philip A.; Serafini, Luciano
Data Management for Peer-to-Peer Computing: A Vision
2002-01-01 Giunchiglia, Fausto; Kementsietsidis, Anastasios; Serafini, Luciano; Bernstein, Philip A.; Mylopoulos, John; Zaihrayeu, Ilya
Semantic coordination: a new approach and an application
2003-01-01 Bouquet, Paolo; Serafini, Luciano; Zanobini, Stefano
Local Relational Model: a logical formalization of database coordination
2003-01-01 Serafini, Luciano; Mylopoulos, John; Bernstein, Philip A.; Giunchiglia, Fausto
C-OWL: Contextualizing ontologies
2003-01-01 Bouquet, Paolo; Giunchiglia, Fausto; van Harmelen, Frank; Serafini, Luciano; Stuckenschmidt, Heiner
On the difference between bridge rules and lifting axioms
2003-01-01 Serafini, Luciano; Bouquet, Paolo
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems
2003-01-01 Franconi, Enrico; Kuper, Gabriel; Serafini, Luciano; Lopatenko, Andrei
A SAT-Based Algorithm for Context Matching
2003-01-01 Bouquet, Paolo; Magnini, Bernardo; Zanobini, Stefano; Serafini, Luciano
C-OWL: contextualizing ontologies
2003-01-01 Bouquet, Paolo; Giunchiglia, Fausto; F., Van Harmelen; Serafini, Luciano; H., Stuckenschmidt
An algorithm for matching contextualized schemas via SAT
2003-01-01 Serafini, Luciano; Bouquet, Paolo; Magnini, Bernardo; Zanobini, Stefano
Complexity of Contextual Reasoning
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Using C-OWL for the alignment and merging of medical ontologies
2004-01-01 H., Stuckenschmidt; F., Van Harmelen; Bouquet, Paolo; Giunchiglia, Fausto; Serafini, Luciano
Contextualizing Ontologies
2004-01-01 Bouquet, Paolo; Giunchiglia, Fausto; F., Van Harmelen; Serafini, Luciano; H., Stuckenschmidt
Coordinating Semantic Peers
2004-01-01 Bouquet, Paolo; Serafini, Luciano; Zanobini, Stefano
Satisfiability for Propositional Contexts
2004-01-01 Serafini, Luciano; Roelofsen, Floris
Distributed Reasoning Services for Multiple Ontologies
2004-01-01 Tamilin, Andrei; Serafini, Luciano
Contextualizing Ontologies
2004-01-01 Bouquet, Paolo; Serafini, Luciano; Stuckenschmidt, Heiner; van Harmelen, Frank; Giunchiglia, Fausto
Semantic Coordination of Hierarchical Classifications with Attributes
2004-01-01 Sceffer, Simone; Serafini, Luciano; Zanobini, Stefano
D2.2.1 Specification of a common framework for characterizing alignment
2004-01-01 Euzenat, Jérôme; Franconi, Enrico; Stamou, Giorgos; Tessaris, Sergio; Bouquet, Paolo; Serafini, Luciano
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile