Organizing Thematic, Geographic, and Temporal Knowledge in a Well-Founded Navigation Space: Logical and Algorithmic Foundations for EFGT Nets

Organizing Thematic, Geographic, and Temporal Knowledge in a Well-Founded Navigation Space: Logical and Algorithmic Foundations for EFGT Nets

Levin Brunner (University of Munich (LMU), Germany), Klaus U. Schulz (University of Munich (LMU), Germany) and Felix Weigel (University of Munich (LMU), Germany)
Copyright: © 2006 |Pages: 31
DOI: 10.4018/jwsr.2006100101
OnDemand PDF Download:
$37.50

Abstract

We introduce a family of symbolic logical formalisms for reasoning with named entities, associated topics or thematic fields, geographic areas, and temporal periods. We argue that this kind of knowledge is useful for various applications in a Semantic Web context, in other words, for the content-oriented description of Web services and yellow pages. In our approach, entities and their relationships are positioned in a well-founded (i.e., acyclic) navigation space, called an EFGT Net. Large (small) entries regarding the navigation order represent general (specific) topics and large (small) geographic or temporal areas. This acyclic organization of knowledge aims to support indexing, search, and classification tasks directly. Each entry comes with a unique identifier that describes the role of the corresponding concept, using techniques from description logics. A formal semantics for the language of identifiers is given. For the resulting logic, role hierarchies and role-value maps are characteristic and crucial. Based on the semantics of identifiers, a set of intensionally typed links is defined that induces the aforementioned navigation structure on the set of all entries. We then introduce a set of deduction rules and a saturation procedure for computing all links between concepts, as well as intensional types for links. We prove soundness, completeness, and termination of the link derivation calculus.

Complete Article List

Search this Journal:
Reset
Open Access Articles: Forthcoming
Volume 14: 4 Issues (2017): Forthcoming, Available for Pre-Order
Volume 13: 4 Issues (2016): 3 Released, 1 Forthcoming
Volume 12: 4 Issues (2015)
Volume 11: 4 Issues (2014)
Volume 10: 4 Issues (2013)
Volume 9: 4 Issues (2012)
Volume 8: 4 Issues (2011)
Volume 7: 4 Issues (2010)
Volume 6: 4 Issues (2009)
Volume 5: 4 Issues (2008)
Volume 4: 4 Issues (2007)
Volume 3: 4 Issues (2006)
Volume 2: 4 Issues (2005)
Volume 1: 4 Issues (2004)
View Complete Journal Contents Listing