Sfoglia per Autore
Representation and management of ontologies in cultural heritage domain
2005-01-01 Cristina, Ghiselli; Bozzato, Loris; Alberto, Trombetta
Semantic Web meets Virtual Museums: the Domus Naturae Project.
2005-01-01 Elisabetta, Binaghi; Bozzato, Loris; Cristina, Ghiselli; Alberto, Trombetta
A constructive semantics for ALC
2007-01-01 Bozzato, Loris; Mauro, Ferrari; Camillo, Fiorentini; Guido, Fiorino
Actions over a constructive semantics for description logics
2008-01-01 Bozzato, Loris; Mauro, Ferrari; Paola, Villa
Actions over a constructive semantics for ALC
2008-01-01 Bozzato, Loris; Mauro, Ferrari; Paola, Villa
Building a domain ontology from glossaries: a general methodology
2008-01-01 Bozzato, Loris; Mauro, Ferrari; Alberto, Trombetta
Actions Over a Constructive Semantics for Description Logics
2009-01-01 Bozzato, Loris; Mauro, Ferrari; Paola, Villa
A note on constructive semantics for description logics
2009-01-01 Bozzato, Loris; Mauro, Ferrari; Paola, Villa
Composition of Semantic Web Services in a Constructive Description Logic.
2010-01-01 Bozzato, Loris; Mauro, Ferrari
A Decidable Constructive Description Logic
2010-01-01 Bozzato, Loris; Mauro, Ferrari; Camillo, Fiorentini; Guido, Fiorino
Evaluation of Contextual Modelling in the FIFA World Cup Use Case
2011-01-01 Bozzato, Loris; Corcoglioniti, Francesco; Homola, Martin; Serafini, Luciano
Evaluation of Contextual Queries
2011-01-01 Bozzato, Loris; Corcoglioniti, Francesco; Joseph, Mathew; Serafini, Luciano
Kripke semantics and tableau procedures for constructive description logics
2011-01-01 Bozzato, Loris
Tableaux Algorithm for Reasoning with Contextualized Knowledge
2011-01-01 Homola, Martin; Bozzato, Loris; Serafini, Luciano
Towards More Effective Tableaux Reasoning for CKR
2012-01-01 Bozzato, Loris; Homola, Martin; Serafini, Luciano
A method and guidelines for the cooperation of ontologies and relational databases in Semantic Web applications
2012-01-01 Bozzato, Loris; S., Braghin; A., Trombetta
ExpTime Reasoning for Contextualized ALC
2012-01-01 Bozzato, Loris; Homola, Martin; Serafini, Luciano
Context on the Semantic Web: Why and How
2012-01-01 Bozzato, Loris; Homola, Martin; Serafini, Luciano
Managing Contextualized Knowledge with the CKR
2012-01-01 Bozzato, Loris; Corcoglioniti, Francesco; Homola, Martin; Joseph, Mathew; Serafini, Luciano
Defeasibility in contextual reasoning with CKR
2013-01-01 Bozzato, Loris; Eiter, T.; Serafini, Luciano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Representation and management of ontologies in cultural heritage domain | 1-gen-2005 | Cristina, Ghiselli; Bozzato, Loris; Alberto, Trombetta | |
Semantic Web meets Virtual Museums: the Domus Naturae Project. | 1-gen-2005 | Elisabetta, Binaghi; Bozzato, Loris; Cristina, Ghiselli; Alberto, Trombetta | |
A constructive semantics for ALC | 1-gen-2007 | Bozzato, Loris; Mauro, Ferrari; Camillo, Fiorentini; Guido, Fiorino | |
Actions over a constructive semantics for description logics | 1-gen-2008 | Bozzato, Loris; Mauro, Ferrari; Paola, Villa | |
Actions over a constructive semantics for ALC | 1-gen-2008 | Bozzato, Loris; Mauro, Ferrari; Paola, Villa | |
Building a domain ontology from glossaries: a general methodology | 1-gen-2008 | Bozzato, Loris; Mauro, Ferrari; Alberto, Trombetta | |
Actions Over a Constructive Semantics for Description Logics | 1-gen-2009 | Bozzato, Loris; Mauro, Ferrari; Paola, Villa | |
A note on constructive semantics for description logics | 1-gen-2009 | Bozzato, Loris; Mauro, Ferrari; Paola, Villa | |
Composition of Semantic Web Services in a Constructive Description Logic. | 1-gen-2010 | Bozzato, Loris; Mauro, Ferrari | |
A Decidable Constructive Description Logic | 1-gen-2010 | Bozzato, Loris; Mauro, Ferrari; Camillo, Fiorentini; Guido, Fiorino | |
Evaluation of Contextual Modelling in the FIFA World Cup Use Case | 1-gen-2011 | Bozzato, Loris; Corcoglioniti, Francesco; Homola, Martin; Serafini, Luciano | |
Evaluation of Contextual Queries | 1-gen-2011 | Bozzato, Loris; Corcoglioniti, Francesco; Joseph, Mathew; Serafini, Luciano | |
Kripke semantics and tableau procedures for constructive description logics | 1-gen-2011 | Bozzato, Loris | |
Tableaux Algorithm for Reasoning with Contextualized Knowledge | 1-gen-2011 | Homola, Martin; Bozzato, Loris; Serafini, Luciano | |
Towards More Effective Tableaux Reasoning for CKR | 1-gen-2012 | Bozzato, Loris; Homola, Martin; Serafini, Luciano | |
A method and guidelines for the cooperation of ontologies and relational databases in Semantic Web applications | 1-gen-2012 | Bozzato, Loris; S., Braghin; A., Trombetta | |
ExpTime Reasoning for Contextualized ALC | 1-gen-2012 | Bozzato, Loris; Homola, Martin; Serafini, Luciano | |
Context on the Semantic Web: Why and How | 1-gen-2012 | Bozzato, Loris; Homola, Martin; Serafini, Luciano | |
Managing Contextualized Knowledge with the CKR | 1-gen-2012 | Bozzato, Loris; Corcoglioniti, Francesco; Homola, Martin; Joseph, Mathew; Serafini, Luciano | |
Defeasibility in contextual reasoning with CKR | 1-gen-2013 | Bozzato, Loris; Eiter, T.; 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