An Order-Sorted Quantified Modal Logic for Meta-ontology Export

@incollection{citeulike:6014779, abstract = {The notions of meta-ontology enhance the ability to process knowledge in information systems; in particular, ontological property classification deals with the kinds of properties in taxonomic knowledge based on a philosophical analysis. The goal of this paper is to devise a reasoning mechanism to check the ontological and logical consistency of knowledge bases, which is important for reasoning services on taxonomic knowledge. We first consider an ontological property classification that is extended to capture individual existence and time and situation dependencies. To incorporate the notion into logical reasoning, we formalize an order-sorted modal logic that involves rigidity, sortality, and three kinds of modal operators (temporal/situational/any world). The sorted expressions and modalities establish axioms with respect to properties, implying the truth of properties in different kinds of possible worlds and in varying domains in Kripke semantics. We provide a prefixed tableau calculus to test the satisfiability of such sorted modal formulas, which validates the ontological axioms of properties.}, author = {Kaneiwa, Ken and Mizoguchi, Riichiro}, citeulike-article-id = {6014779}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/11554554_14}, citeulike-linkout-1 = {http://www.springerlink.com/content/2teehh59b1htmnh6}, doi = {10.1007/11554554_14}, journal = {Automated Reasoning with Analytic Tableaux and Related Methods}, keywords = {logic, meta-ontology, modal-logic, order, quantification, reasoning}, pages = {169--184}, posted-at = {2009-10-27 09:21:43}, priority = {2}, title = {An Order-Sorted Quantified Modal Logic for Meta-ontology}, url = {http://dx.doi.org/10.1007/11554554_14}, year = {2005} }

TY - CHAP ID - citeulike:6014779 L3 - citeulike-article-id:6014779 N2 - The notions of meta-ontology enhance the ability to process knowledge in information systems; in particular, ontological property classification deals with the kinds of properties in taxonomic knowledge based on a philosophical analysis. The goal of this paper is to devise a reasoning mechanism to check the ontological and logical consistency of knowledge bases, which is important for reasoning services on taxonomic knowledge. We first consider an ontological property classification that is extended to capture individual existence and time and situation dependencies. To incorporate the notion into logical reasoning, we formalize an order-sorted modal logic that involves rigidity, sortality, and three kinds of modal operators (temporal/situational/any world). The sorted expressions and modalities establish axioms with respect to properties, implying the truth of properties in different kinds of possible worlds and in varying domains in Kripke semantics. We provide a prefixed tableau calculus to test the satisfiability of such sorted modal formulas, which validates the ontological axioms of properties. JF - Automated Reasoning with Analytic Tableaux and Related Methods EP - 184 TI - An Order-Sorted Quantified Modal Logic for Meta-ontology SP - 169 KW - logic KW - meta-ontology KW - modal-logic KW - order KW - quantification KW - reasoning AU - Kaneiwa, Ken AU - Mizoguchi, Riichiro PY - 2005/// UR - http://dx.doi.org/10.1007/11554554_14 ER -