Sciweavers

ERSHOV
2009
Springer

Towards a Scalable, Pragmatic Knowledge Representation Language for the Web

14 years 5 months ago
Towards a Scalable, Pragmatic Knowledge Representation Language for the Web
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning about distributed knowledge on the Web and thus make it possible to derive only implicitly available information. Much research is geared to advancing very expressive formalisms that add increasingly complex modelling constructs. However, this increase in language expressivity is often intrinsically linked to higher computational cost and often leads to formalisms that have high theoretical complexity and that are difficult to implement efficiently. In contrast, reasoning in the context of the Web has a distinct set of requirements, namely inference systems that can scale to planetary-size datasets. A reduced level of expressivity is often sufficient for many practical scenarios and crucially, absolutely necessary when reasoning with such massive datasets. These requirements have been acknowledged by active ...
Florian Fischer, Gulay Ünel, Barry Bishop, Di
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ERSHOV
Authors Florian Fischer, Gulay Ünel, Barry Bishop, Dieter Fensel
Comments (0)