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 ...

• Type: Conference
• Year: 2009
• Where: ERSHOV
• Authors: Florian Fischer, Gulay Ünel, Barry Bishop, Dieter Fensel
• Keywords: Complex Modelling Constructs, ERSHOV 2009, Expressive Formalisms, Programming Languages, Reasoning