Journal of Automated Reasoning
PROTEIN: A PROver with a Theory Extension INterface
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
CAMPUS NEWS: an intelligent Bluetooth-based mobile information network
Mobility '07 Proceedings of the 4th international conference on mobile technology, applications, and systems and the 1st international symposium on Computer human interaction in mobile technology
System Description: E- KRHyper
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
μOR --- A Micro OWL DL Reasoner for Ambient Intelligent Devices
GPC '09 Proceedings of the 4th International Conference on Advances in Grid and Pervasive Computing
Applications of automated reasoning
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
COROR: a composable rule-entailment owl reasoner for resource-constrained devices
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Rule-based OWL reasoning for specific embedded devices
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
Decision support for personalization on mobile devices
ICLP'05 Proceedings of the 21st international conference on Logic Programming
User profiles and matchmaking on mobile phones
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Mobile semantic-based matchmaking: a fuzzy DL approach
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Design and validation of a light inference system to support embedded context reasoning
Personal and Ubiquitous Computing
A mobile reasoner for semantic-based matchmaking
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Embedded EL + reasoning on programmable logic controllers
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
System description: E-KRHyper 1.4: extensions for unique names and description logic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Towards interactive smart spaces
Journal of Ambient Intelligence and Smart Environments - Context Awareness
| Hi-index | 0.00 |
Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper tableau calculus. The development of Pocket KRHyper was motivated by the arising need for reasoning on mobile devices for mobile semantic web applications. To satisfy this need, a Description Logics (DL) interface is provided, which allows DL reasoning by transforming DL Expressions into first order clausal logic.