A Time and Situation Dependent Semantics for Ontological Property Classification

• KANEIWA Ken

  Iwate University

• MIZOGUCHI Riichiro

  Osaka University

Abstract

This paper proposes a new semantics that characterizes the time and/or situation dependencies of properties, together with the ontological notion of existential rigidity. For this purpose, we present order-sorted tempo-situational logic (OSTSL) with rigid/anti-rigid sorts and an existential predicate. In this logic, rigid/anti-rigid sorted terms enable the expressions for sortal properties, and temporal and situational operators suitably represent the ontological axioms of existential rigidity and time and/or situation dependencies. A specific semantics of OSTSL adheres to the temporal and situational behaviors of properties based on existential rigidity. As a result, the semantics guarantees that the ontological axioms of properties expressed by sorted tempo-situational formulas are logically valid.

Journal

• IEICE Transactions on Information and Systems

  IEICE Transactions on Information and Systems E94-D (3), 639-647, 2011

  The Institute of Electronics, Information and Communication Engineers

Keywords

• formal ontology
• semantic web
• order-sorted logic

Details

• CRID: 1390001204377951488
• NII Article ID: 10028232670
• NII Book ID: AA10826272
• DOI: 10.1587/transinf.e94.d.639
• ISSN: 17451361
• ISSN: 09168532
• Web Site: http://www.jstage.jst.go.jp/article/transinf/E94.D/3/E94.D_3_639/_pdf
• Text Lang: en
• Data Source:
  • JaLC
  • Crossref
  • CiNii Articles
  • KAKEN
• Abstract License Flag: Disallowed