A proof markup language for Semantic Web services
- 23 March 2005
- journal article
- Published by Elsevier in Information Systems
- Vol. 31 (4-5) , 381-395
- https://doi.org/10.1016/j.is.2005.02.003
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Explaining answers from the Semantic Web: the Inference Web approachJournal of Web Semantics, 2004
- Infrastructure for Web ExplanationsPublished by Springer Nature ,2003
- MBase: Representing Knowledge and Context for the Integration of Mathematical Software SystemsJournal of Symbolic Computation, 2001
- UIMA: an architectural approach to unstructured information processing in the corporate research environmentNatural Language Engineering, 1999
- Reconstructing proofs at the assertion levelPublished by Springer Nature ,1994