324 search results - page 42 / 65 » Towards a Paradoxical Description Logic for the Semantic Web |
122
click to vote
APWEB
2005
Springer
15 years 7 months ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...
136
click to vote
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Scalable query answering over Description Logic (DL) based ontologies plays an important role for the success of the Semantic Web. Towards tackling the scalability problem, we prop...
103
click to vote
CADE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
113
click to vote
CADE
2006
Springer
16 years 1 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
105
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...