Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"semantic web, computation logic, reasoning, OWL"”.
-
Automated Reasoning via a Multi-sorted Fragment of Computable Set Theory with Applications to Semantic Web
Semantic Web is a vision of the web in which machine-readable data enables software agents to manipulate and query information on behalf of human agents. To achieve such goal, machines are provided with appropriate languages and tools. Investigating new technologies which can extend the power of …