The liar; an essay in truth and circularity
The liar; an essay in truth and circularity
Information and Computation - Semantics of Data Types
Proofs and types
A database interface based on Montagues's approach to the interpretation of natural language
International Journal of Man-Machine Studies
Logic and information
Computation and reasoning: a type theory for computer science
Computation and reasoning: a type theory for computer science
Type-theoretical grammar
Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Handbook of Automated Reasoning: Volume 1
Handbook of Automated Reasoning: Volume 1
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Proceedings of the 2nd international conference on Knowledge capture
Journal of Functional Programming
On equivalence and canonical forms in the LF type theory
ACM Transactions on Computational Logic (TOCL)
Resolving ellipsis in clarification
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
Records and Record Types in Semantic Theory
Journal of Logic and Computation
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
How to reason with OWL in a logic programming system
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Situated nonmonotonic temporal reasoning with BABY‐SIT
AI Communications
Fads and Fallacies about Logic
IEEE Intelligent Systems
A Type Driven Theory of Predication with Complex Types
Fundamenta Informaticae - Logic for Pragmatics
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
Ontology-based situation awareness
Information Fusion
Proceedings of the 2008 conference on Formal Ontologies Meet Industry
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Towards Ontological Correctness of Part-whole Relations with Dependent Types
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Modeling Contexts with Dependent Types
Fundamenta Informaticae
Formalizing Context in Intuitionistic Type Theory
Fundamenta Informaticae
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
Hi-index | 0.00 |
Cognitive situation awareness has recently caught the attention of the information fusion community. Some approaches have developed formalizations that are both ontology-based and underpinned with Situation Theory. While the semantics of Situation Theory is very attractive from the cognitive point of view, the languages that are used to express knowledge and to reason with suffer from a number of limitations concerning both expressiveness and reasoning capabilities. In this paper we propose a more general formal foundation denoted S-DTT (Situation-based Dependent Type Theory) that is expressed with the language of the Extended Calculus of Constructions (ECC), a widely used theory in mathematical formalization and in software validation. Situation awareness relies on small blocks of knowledge called situation fragment types whose composition leads to a very expressive and unifying theory. The semantic part is provided by an ontology that is rooted in the S-DTT theory and, on which higher-order reasoning can be performed. The basis of the theory is summarized and its expressing power is illustrated with numerous examples. A scenario in the healthcare context for patient safety issues is detailed and a comparison with well-known approaches is discussed.