A mechanical solution of Schubert's steamroller by many-sorted resolution
Artificial Intelligence
Computational aspects of an order-sorted logic with term declarations
Computational aspects of an order-sorted logic with term declarations
The substitutional framework for sorted deduction: fundamental results on hybrid reasoning
Artificial Intelligence - Special issue on knowledge representation
An order-sorted logic for knowledge representation systems
Artificial Intelligence
First-order modal logic
Supporting ontological analysis of taxonomic relationships
Data & Knowledge Engineering - ER2000
A Tableau System for Linear-TIME Temporal Logic
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
First Order Linear Temporal Logic over Finite Time Structures
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Ontological analysis of taxonomic relationships
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Logical aspects of events: quantification, sorts, composition and disjointness
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
The development of a schema for semantic annotation: Gain brought by a formal ontological method
Applied Ontology - Biomedical Ontology in Action
Towards role-based filtering of disease outbreak reports
Journal of Biomedical Informatics
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
ISWC '09 Proceedings of the 8th International Semantic Web Conference
An upper ontology for event classifications and relations
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Existential rigidity and many modalities in order-sorted logic
Knowledge-Based Systems
OWL-Full reasoning from an object oriented perspective
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
| Hi-index | 0.00 |
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.