Picture of smart phone in human hand

World leading smartphone and mobile technology research at Strathclyde...

The Strathprints institutional repository is a digital archive of University of Strathclyde's Open Access research outputs. Strathprints provides access to thousands of Open Access research papers by University of Strathclyde researchers, including by Strathclyde researchers from the Department of Computer & Information Sciences involved in researching exciting new applications for mobile and smartphone technology. But the transformative application of mobile technologies is also the focus of research within disciplines as diverse as Electronic & Electrical Engineering, Marketing, Human Resource Management and Biomedical Enginering, among others.

Explore Strathclyde's Open Access research on smartphone technology now...

Stable model semantics for guarded existential rules and description logics

Gottlob, Georg and Hernich, Andre and Kupke, Clemens and Lukasiewicz, Thomas (2014) Stable model semantics for guarded existential rules and description logics. In: Principles of Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence (AAAI), 258−267. ISBN 9781577356578

Full text not available in this repository. Request a copy from the Strathclyde author

Abstract

We tackle a long-standing open research problem and prove the decidability of query answering under the stable models semantics for guarded existential rules, where rule bodies may contain negated atoms, and provide complexity results. The results extend to guarded Datalog± with negation, and thus provide a natural and decidable stable model semantics to description logics such as ELHI and DL-LiteR.