Author Patrick Hayes
From Semantic Portal Wiki
A list of all pages that have property "Author" with value "Patrick Hayes"- Towards checking hybrid proofs +
- The model driven semantic web +
- Simple common logic: a constraint language for the odm +
- Semantic web publishing using named graphs +
- Ppdr: a proof protocol for deductive reasoning +
- Owl-ql - a language for deductive query answering on the semantic web +
- Named graphs, provenance and trust +
- Named graphs +
- Dql - a query language for the semantic web +
- Behavioural specification of grid services with the kaos policy language +
- A model-driven semantic web: reinforcing complimentary strengths +
