Sciweavers

5054 search results - page 807 / 1011
» Semantic Web Mining
Sort
View
IEEESCC
2006
IEEE
16 years 16 days ago
Control the Flow: How to Safely Compose Streaming Services into Business Processes
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
Biörn Biörnstad, Cesare Pautasso, Gustav...
ASP
2005
Springer
16 years 1 days ago
Extending Conceptual Logic Programs with Arbitrary Rules
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
CADE
2005
Springer
16 years 1 days ago
KRHyper - In Your Pocket
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...
Alex Sinner, Thomas Kleemann
CAISE
2005
Springer
16 years 1 days ago
Weighted Evaluation of Ontology Building Methods
Ontologies are the core component in semantic Web applications. The employment of an ontology building method affects the quality of ontology and the applicability of ontology lang...
Sari Hakkarainen, Darijus Strasunskas, Lillian Hel...
ESWS
2005
Springer
16 years 1 days ago
Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir