A Time and Situation Dependent Semantics for Ontological Property Classification
Summary :
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.
- Publication
- IEICE TRANSACTIONS on Information Vol.E94-D No.3 pp.639-647
- Publication Date
- 2011/03/01
- Publicized
- Online ISSN
- 1745-1361
- DOI
- 10.1587/transinf.E94.D.639
- Type of Manuscript
- PAPER
- Category
- Artificial Intelligence, Data Mining
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Ken KANEIWA, Riichiro MIZOGUCHI, "A Time and Situation Dependent Semantics for Ontological Property Classification" in IEICE TRANSACTIONS on Information,
vol. E94-D, no. 3, pp. 639-647, March 2011, doi: 10.1587/transinf.E94.D.639.
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.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E94.D.639/_p
Copy
@ARTICLE{e94-d_3_639,
author={Ken KANEIWA, Riichiro MIZOGUCHI, },
journal={IEICE TRANSACTIONS on Information},
title={A Time and Situation Dependent Semantics for Ontological Property Classification},
year={2011},
volume={E94-D},
number={3},
pages={639-647},
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.},
keywords={},
doi={10.1587/transinf.E94.D.639},
ISSN={1745-1361},
month={March},}
Copy
TY - JOUR
TI - A Time and Situation Dependent Semantics for Ontological Property Classification
T2 - IEICE TRANSACTIONS on Information
SP - 639
EP - 647
AU - Ken KANEIWA
AU - Riichiro MIZOGUCHI
PY - 2011
DO - 10.1587/transinf.E94.D.639
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E94-D
IS - 3
JA - IEICE TRANSACTIONS on Information
Y1 - March 2011
AB - 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.
ER -
English
