82 search results - page 8 / 17 » Inductive reasoning and semantic web search |
ADC
2006
Springer
14 years 4 months ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
JUCS
2006
13 years 10 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
ESWS
2008
Springer
14 years 19 days ago
2008
Springer
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
LREC
2010
14 years 9 days ago
2010
After several years of development, the vision of the Semantic Web is gradually becoming reality. Large data repositories have been created and offer semantic information in a mac...
WAIM
2004
Springer
14 years 4 months ago
2004
Springer
This paper presents an architecture and a methodology for agent-based Web service discovery and automated composition. We assume that Web services are described with declarative sp...