MPG.eBooks - Search Results - "orl ontologies"

Search alternatives:
"orl ontologies" » "owl ontologies", "oil ontologies", "rl ontologies"

Cover Image

1

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... -- Combining Algebraic and Model-Based Test Case Generation -- Verifying OWL and ORL Ontologies in PVS...”