Welcome to the InfoSci Platform
Reference Hub3
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 |Volume: 3 |Issue: 4 |Pages: 31
ISSN: 1545-7362|EISSN: 1546-5004|ISSN: 1545-7362|EISBN13: 9781615204557|EISSN: 1546-5004|DOI: 10.4018/jwsr.2006100101
Cite Article Cite Article

MLA

Brunner, Levin, et al. "Organizing Thematic, Geographic, and Temporal Knowledge in a Well-Founded Navigation Space: Logical and Algorithmic Foundations for EFGT Nets." IJWSR vol.3, no.4 2006: pp.1-31. http://doi.org/10.4018/jwsr.2006100101

APA

Brunner, L., Schulz, K. U., & Weigel, F. (2006). Organizing Thematic, Geographic, and Temporal Knowledge in a Well-Founded Navigation Space: Logical and Algorithmic Foundations for EFGT Nets. International Journal of Web Services Research (IJWSR), 3(4), 1-31. http://doi.org/10.4018/jwsr.2006100101

Chicago

Brunner, Levin, Klaus U. Schulz, and Felix Weigel. "Organizing Thematic, Geographic, and Temporal Knowledge in a Well-Founded Navigation Space: Logical and Algorithmic Foundations for EFGT Nets," International Journal of Web Services Research (IJWSR) 3, no.4: 1-31. http://doi.org/10.4018/jwsr.2006100101

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.