The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Cet article propose une nouvelle sémantique qui caractérise les dépendances temporelles et/ou situationnelles des propriétés, ainsi que la notion ontologique de rigidité existentielle. À cette fin, nous présentons une logique tempo-situationnelle triée par ordre (OSTSL) avec des tris rigides/anti-rigides et un prédicat existentiel. Dans cette logique, les termes triés rigides/anti-rigides permettent les expressions des propriétés de tri, et les opérateurs temporels et situationnels représentent de manière appropriée les axiomes ontologiques de rigidité existentielle et de dépendances temporelles et/ou situationnelles. Une sémantique spécifique d'OSTSL adhère aux comportements temporels et situationnels des propriétés basés sur la rigidité existentielle. En conséquence, la sémantique garantit que les axiomes ontologiques de propriétés exprimés par des formules tempo-situationnelles triées sont logiquement valides.
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.
Copier
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
Copier
@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},}
Copier
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 -