Search the dblp DataBase

Publications of Author

1. Sean Bechhofer, Ian Horrocks, Daniele Turi
   The OWL Instance Store: System Description. [Citation Graph (0, 0)][DBLP]
   CADE, 2005, pp:177-181 [Conf]
   
2. Daniele Turi
   Categorical Modelling of Structural Operational Rules: Case Studies. [Citation Graph (0, 0)][DBLP]
   Category Theory and Computer Science, 1997, pp:127-146 [Conf]
   
3. Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
   The Instance Store: DL Reasoning with Large Numbers of Individuals. [Citation Graph (0, 0)][DBLP]
   Description Logics, 2004, pp:- [Conf]
   
4. Daniele Turi
   Extending S-Models to Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
   ICLP, 1991, pp:397-411 [Conf]
   
5. Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi
   Abstract Syntax and Variable Binding. [Citation Graph (0, 0)][DBLP]
   LICS, 1999, pp:193-202 [Conf]
   
6. Marcelo P. Fiore, Daniele Turi
   Semantics of Name and Value Passing. [Citation Graph (0, 0)][DBLP]
   LICS, 2001, pp:93-104 [Conf]
   
7. Daniele Turi, Gordon D. Plotkin
   Towards a Mathematical Operational Semantics. [Citation Graph (0, 0)][DBLP]
   LICS, 1997, pp:280-291 [Conf]
   
8. Maurizio Gabbrielli, Giorgio Levi, Daniele Turi
   A Two Steps Semantics for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
   LPAR, 1992, pp:297-308 [Conf]
   
9. Chris Rose, Daniele Turi, Alan Williams, Katy Wolstencroft, Chris Taylor
   Web Services for the DDSM and Digital Mammography Research. [Citation Graph (0, 0)][DBLP]
   Digital Mammography / IWDM, 2006, pp:376-383 [Conf]
   
10. Olga Caprotti, Mike Dewar, Daniele Turi
    Mathematical Service Matching Using Description Logic and OWL. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:73-87 [Conf]
    
11. Jan J. M. M. Rutten, Daniele Turi
    On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:477-530 [Conf]
    
12. Jan J. M. M. Rutten, Daniele Turi
    Initial Algebra and Final Coalgebra Semantics for Concurrency. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:530-582 [Conf]
    
13. Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens
    A Little Semantic Web Goes a Long Way in Biology. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:786-800 [Conf]
    
14. Daniele Turi, Jan J. M. M. Rutten
    On the Foundations of Final Coalgebra Semantics. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:5, pp:481-540 [Journal]
    
15. Michael Bada, Daniele Turi, Robin McEntire, Robert Stevens
    Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2004, v:33, n:2, pp:27-32 [Journal]
    
16. John Power, Daniele Turi
    A Coalgebraic Foundation for Linear Time Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
    
17. 
    Taverna Workflows: Syntax and Semantics. [Citation Graph (, )][DBLP]
    
    
18. 
    Mining Taverna's semantic web of provenance. [Citation Graph (, )][DBLP]
    
    
19. 
    Special Issue: The First Provenance Challenge. [Citation Graph (, )][DBLP]