Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Engineering
Towards Logical Linked Data Compression, Amit Krishna, Pascal Hitzler, Guozhu Dong
Towards Logical Linked Data Compression, Amit Krishna, Pascal Hitzler, Guozhu Dong
Computer Science and Engineering Faculty Publications
Linked data has experienced accelerated growth in recent years. With the continuing proliferation of structured data, demand for RDF compression is becoming increasingly important. In this study, we introduce a novel lossless compression technique for RDF datasets, called Rule Based compression (RB compression) that compresses datasets by generating a set of new logical rules from the dataset and removing triples that can be inferred from these rules. We employ existing frequent pattern mining algorithms for generating new logical rules. Unlike other compression techniques, our approach not only takes advantage of syntactic verbosity and data redundancy but also utilizes intra- and …
Initial Design Of A Multimodal Collaborative Mobile Application For Real Time Decision Making, Gregory M. Burnett, Thomas Wischgoll, Victor Finomore, Candace Washington
Initial Design Of A Multimodal Collaborative Mobile Application For Real Time Decision Making, Gregory M. Burnett, Thomas Wischgoll, Victor Finomore, Candace Washington
Computer Science and Engineering Faculty Publications
Mobile devices, smartphones and tablets, are continually expanding their computational performance capabilities through improved processing, interconnectivity network abilities, resource management and ease of use user interfaces. As such they are gaining interestas a means tosupport on-the-move remote collaboration for military personnel executing real time decision making tasks. This paper focuses on a software-based implementation of a prototype multimodal Android application that was designed to capture and disseminate real time battlefield perspectives to distributed entities. Moreover the mobile application enables remote experts to interactively collaborate through multimodal functionality to provide directives to the mobile userthat should be applied to the local …
Type-Elimination-Based Reasoning For The Description Logic Shiqbs Using Decision Diagrams And Disjunctive Datalog, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler
Type-Elimination-Based Reasoning For The Description Logic Shiqbs Using Decision Diagrams And Disjunctive Datalog, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler
Computer Science and Engineering Faculty Publications
We propose a novel, type-elimination-based method for standard reasoning in the description logic SHIQbs extended by DL-safe rules. To this end, we first establish a knowledge compilation method converting the terminological part of an ALCIb knowledge base into an ordered binary decision diagram (OBDD) that represents a canonical model. This OBDD can in turn be transformed into disjunctive Datalog and merged with the assertional part of the knowledge base in order to perform combined reasoning. In order to leverage our technique for full SHIQbs , we provide a stepwise reduction from SHIQbs to ALCIb that preserves satisfiability and entailment of …