Materialized views: techniques, implementations, and applications
Materialized views: techniques, implementations, and applications
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The description logic handbook
Implementation and optimization techniques
The description logic handbook
Filtering and Selecting Semantic Web Services with Interactive Composition Techniques
IEEE Intelligent Systems
Debugging and repair of owl ontologies
Debugging and repair of owl ontologies
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Debugging unsatisfiable classes in OWL ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
On applying the AGM theory to DLs and OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Toward expressive syndication on the web
Proceedings of the 16th international conference on World Wide Web
Syndication on the Web using a description logic approach
Web Semantics: Science, Services and Agents on the World Wide Web
Knowledge-based coordination with a reliable semantic subscription mechanism
Proceedings of the 2009 ACM symposium on Applied Computing
Who the Heck Is the Father of Bob?
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A Heuristics Framework for Semantic Subscription Processing
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Incremental Classification of Description Logics Ontologies
Journal of Automated Reasoning
History matters: incremental ontology reasoning using modules
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Reconfigurable web service composition using belief revision
ADCONS'11 Proceedings of the 2011 international conference on Advanced Computing, Networking and Security
SensorStream: a semantic real-time stream management system
International Journal of Ad Hoc and Ubiquitous Computing
Whispering interactions to the end user using rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Hi-index | 0.00 |
Various data sources on the Web tend to be highly dynamic; this is evident in prominent Web services frameworks in which devices register or deregister their descriptions quite rapidly and in Semantic Web portals which allow content authors to modify or extend underlying ontologies and submit content Such applications often leverage Description Logic (DL) reasoning for a variety of tasks (e.g., classifying Web service descriptions, etc); however, this can introduce substantial overhead due to content fluctuation, as DL reasoners have only been considered for relatively static knowledge bases This work aims to provide more efficient DL reasoning techniques for frequently changing instance bases (ABoxes) More specifically, we investigate the process of incrementally updating tableau completion graphs used for reasoning in the expressive DLs $\mathcal{SHOQ}$ and $\mathcal{SHIQ}$, which correspond to a large subset of the W3C standard Web Ontology Language, OWL-DL We present an algorithm for updating completion graphs under the syntactic addition and removal of ABox assertions We also provide an empirical analysis of the approach through an implementation in the OWL-DL reasoner, Pellet.