HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Modal logic
Simple on-the-fly automatic verification of linear temporal logic
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Using ontologies and fuzzy relations in multimedia personalization
SMAP '06 Proceedings of the First International Workshop on Semantic Media Adaptation and Personalization
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
Conceptual situation spaces for semantic situation-driven processes
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |
Context-sensitive knowledge is widespread in Semantic Web, but traditional RDF triples lack references to situations, points in time, or generally contexts. In order to resolve this problem, Dimensional Ontology (DO) theory is put forward, which features dimensional relations, dimensional operators as well as reasoning mechanism for context-sensitive knowledge. The notion of context in DO is actuarially a vector of dimensions, which are crisp sets representing certain contextual aspects. We propose an approach of modeling uncertain contexts of DO through fuzzy subsets instead of crisp ones. In this way, DO provides the ability of representing fuzzy triples in uncertain contexts. Apart from describing uncertain context model of DO, we discuss how dimensional operators and reasoning mechanism can be applied to uncertain contexts to allow more complex manipulations.