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, Klaus U. Schulz, Felix Weigel
Copyright: © 2006 |Pages: 31
DOI: 10.4018/jwsr.2006100101
OnDemand:
(Individual Articles)
Available
$37.50
Current Special Offers
No Current Special Offers
TOTAL SAVINGS: $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
Volume 21: 1 Issue (2024)
Volume 20: 1 Issue (2023)
Volume 19: 4 Issues (2022): 1 Released, 3 Forthcoming
Volume 18: 4 Issues (2021)
Volume 17: 4 Issues (2020)
Volume 16: 4 Issues (2019)
Volume 15: 4 Issues (2018)
Volume 14: 4 Issues (2017)
Volume 13: 4 Issues (2016)
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