Representing, manipulating and reasoning with geographic semantics within a knowledge framework

被引:1
|
作者
O'Brien, J [1 ]
Gahegan, M [1 ]
机构
[1] Penn State Univ, Dept Geog, GeoVISTA Ctr, University Pk, PA 16802 USA
关键词
ONTOLOGIES; GIS;
D O I
10.1007/3-540-26772-7_44
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper describes a programmatic framework for representing, manipulating and reasoning with geographic semantics. The framework enables automating tool selection for user defined geographic problem solving, and evaluating semantic change in knowledge discovery environments. Methods, data, and human experts (our resources) uses, inputs, outputs, and semantic changes are described using ontologies. These ontological descriptions are manipulated by an expert system to select resources to solve a user-defined problem. A semantic description of the problem is compared to the services that each entity can provide to construct a graph of potential solutions. An optimal (least cost) solution is extracted from these solutions, and displayed in real-time. The semantic change(s) resulting from the interaction of resources within the optimal solution are determined via expressions of transformation semantics represented within the Java Expert System Shell. This description represents the formation history of each new information product (e.g. a map or overlay) and can be stored, indexed and searched as required. Examples are presented to show (1) the construction and visualization of information products, (2) the reasoning capabilities of the system to find alternative ways to produce information products from a set of data methods and expertise, given certain constraints and (3) the representation of the ensuing semantic changes by which an information product is synthesized.
引用
收藏
页码:585 / 603
页数:19
相关论文
共 50 条
  • [11] Mathematical knowledge representation and reasoning within the framework of strong relevant logic
    Cheng, JD
    IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 1045 - 1051
  • [12] The semantics of extensive quantities within geographic information
    Top, Eric
    Scheider, Simon
    Xu, Haiqi
    Nyamsuren, Enkhbold
    Steenbergen, Niels
    APPLIED ONTOLOGY, 2022, 17 (03) : 337 - 364
  • [13] A Framework for Reasoning about the Semantics of Logic Programs
    Bull Eur Assoc Theor Comput Sci, 59 (426):
  • [14] SYNTAX AND SEMANTICS OF A MONOTONIC FRAMEWORK FOR NONMONOTONIC REASONING
    ABDALLAH, MAN
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 357 - 366
  • [15] Representing and reasoning with scenarios within information systems modeling
    Yi, CH
    CHALLENGES OF INFORMATION TECHNOLOGY MANAGEMENT IN THE 21ST CENTURY, 2000, : 1079 - 1080
  • [16] KRF - A METHODOLOGICAL FRAMEWORK FOR REPRESENTING KNOWLEDGE
    BONARINI, A
    GALLO, MC
    GUIDA, M
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1989, 8 (02): : 113 - 130
  • [17] A FRAMEWORK FOR REPRESENTING SELF-KNOWLEDGE
    MORRIS, KJ
    BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1984, 37 (SEP): : A117 - A117
  • [18] Representing incomplete knowledge in case-based reasoning
    Dubitzky, W
    Lopes, P
    Hughes, JG
    Bell, DA
    White, J
    INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 11TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 1998, : 133 - 136
  • [19] A mathematical framework for the semantics of symbolic languages representing periodic time
    Egidi, L
    Terenziani, P
    11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2004, : 21 - 27
  • [20] A mathematical framework for the semantics of symbolic languages representing periodic time
    Egidi, Lavinia
    Terenziani, Paolo
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 46 (03) : 317 - 347