Anzeige
Erschienen in:
2019 | OriginalPaper | Buchkapitel
Expressive Context Modeling with Description Logics
verfasst von : Rolando Ramírez-Rueda, Everardo Bárcenas, Carmen Mezura-Godoy, Guillermo Molero-Castillo
Erschienen in: Knowledge Graphs and Semantic Web
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
Modeling and verification of context-aware systems have been proven to be a challenging task mainly because expressive modeling implies, in most cases, expensive verification algorithms. On the other side, description logics have been successfully applied as a modeling and verification framework in many settings, such as in the semantic Web and bioinformatics, just to mention some. The main factor for this success is the delicate balance between expressiveness and computational cost of the corresponding algorithms in description logics. In the current work, we propose the use of an expressive description logics to model the consistency of context-aware systems. We show this expressive modeling language is capable to succinctly express complex properties, such as temporal ones.