Author of the publication

The Instance Store: DL Reasoning with Large Numbers of Individuals.

, , , and . Description Logics, volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Two Steps Semantics for Logic Programs with Negation., , and . LPAR, volume 624 of Lecture Notes in Computer Science, page 297-308. Springer, (1992)Extending S-Models to Logic Programs with Negation.. ICLP, page 397-411. MIT Press, (1991)The OWL Instance Store: System Description., , and . CADE, volume 3632 of Lecture Notes in Computer Science, page 177-181. Springer, (2005)Initial Algebra and Final Coalgebra Semantics for Concurrency., and . REX School/Symposium, volume 803 of Lecture Notes in Computer Science, page 530-582. Springer, (1993)On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders., and . REX Workshop, volume 666 of Lecture Notes in Computer Science, page 477-530. Springer, (1992)Web Services for the DDSM and Digital Mammography Research., , , , and . Digital Mammography / IWDM, volume 4046 of Lecture Notes in Computer Science, page 376-383. Springer, (2006)Taverna/myGrid: Aligning a Workflow System with the Life Sciences Community., , , , , , , , , and . Workflows for e-Science, Scientific Workflows for Grids, Springer, (2007)Special Issue: The First Provenance Challenge, , , , , , , , , and 40 other author(s). Concurrency and Computation: Practice & Experience, Special Issue on The First Provenance Challenge, 20 (5): 409-418 (April 2008)CORE A.Taverna Workflows: Syntax and Semantics., , , , and . eScience, page 441-448. IEEE Computer Society, (2007)Semantics of Name and Value Passing., and . LICS, page 93-104. IEEE Computer Society, (2001)