Computability and logic: 3rd ed.
Computability and logic: 3rd ed.
Attributive concept descriptions with complements
Artificial Intelligence
An essay in combinatory dynamic logic
Information and Computation
Logic and information flow
Reasoning in description logics
Principles of knowledge representation
Quantifiers in combinatory PDL: completeness, definability, incompleteness
FCT '85 Fundamentals of Computation Theory
Naming Worlds in Modal and Temporal Logic
Journal of Logic, Language and Information
Tableau Calculi for Hybrid Logics
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Prefixed Resolution: A Resolution Method for Modal and Description Logics
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Model Checking for Hybrid Logic
Journal of Logic, Language and Information
An overview of hybrid possibilistic reasoning
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
This paper shows how to increase the expressivity of concept languages using a strategy called hybridization. Building on the well‐known correspondences between modal and description logics, two hybrid languages are defined. These languages are called ‘hybrid’ because, as well as the familiar propositional variables and modal operators, they also contain variables across individuals and a binder that binds these variables. As is shown, combining aspects of modal and first‐order logic in this manner allows the expressivity of concept languages to be boosted in a natural way, making it possible to define number restrictions, collections of individuals, irreflexivity of roles, and TBox‐ and ABox‐statements. Subsequent addition of the universal modality allows the notion of subsumption to be internalized, and enables the representation of queries to arbitrary first‐order knowledge bases. The paper notes themes shared by the hybrid and concept language literatures, and draws attention to a little‐known body of work by the late Arthur Prior.