Filters








40,693 Hits in 4.1 sec

Parallel Computation Techniques for Ontology Reasoning [chapter]

Jürgen Bock
2008 Lecture Notes in Computer Science  
As current reasoning techniques are not designed for massive parallelisation, usage of parallel computation techniques in reasoning establishes a major research problem.  ...  I will propose two possibilities of applying parallel computation techniques to ontology reasoning: parallel processing of independent ontological modules, and tailoring the reasoning algorithms to parallel  ...  Contribution In this research I will strive for bringing the parallel computation paradigm closer to ontology reasoning techniques.  ... 
doi:10.1007/978-3-540-88564-1_60 fatcat:usdfijto6jgyzatr44j55tpke4

A Parallel Reasoner for the Description Logic ALC

Kejia Wu, Volker Haarslev
2012 International Workshop on Description Logics  
This observation motivates our work on the design and evaluation of Deslog, a parallel tableau-based description logic reasoner for ALC.  ...  Multi-processor/core systems have become ubiquitous but the vast majority of OWL reasoners can process ontologies only sequentially.  ...  Independent ontology modules strive for structuring ontologies as modules which naturally can be computed in parallel. The idea of partitioning ontologies into modules is supported by [11, 9, 10] .  ... 
dblp:conf/dlog/WuH12 fatcat:nzg6zxi5qnegvdja3bbc5xykgu

Parallelizing Algebraic Reasoning for the Description Logic SHOQ

Jocelyne Faddoul, Wendy MacCaull
2013 Canadian Semantic Web Symposium  
Work is needed to find techniques for this kind of computing.  ...  We believe that the high performance computing paradigm offers a great deal of hope for the scalability problem for knowledge crunching, that is, for ontological reasoning tasks, in time sensitive applications  ... 
dblp:conf/csws/FaddoulM13 fatcat:7skri2lxdfglppu4x4vselc34q

The state-of-the-art in web-scale semantic information processing for cloud computing [article]

Wei Yu, Junpeng Chen
2013 arXiv   pre-print
semantic reasoning and parallel semantic computing by exploiting semantic information newly available in cloud computing environment.  ...  The purpose of this report is to give an overview of existing technologies for semantic information processing in cloud computing environment, to propose a research direction for addressing distributed  ...  WebPie shows the penitential high efficiency of parallel reasoning on web-scale semantic information by using cloud computing techniques.  ... 
arXiv:1305.4228v1 fatcat:duay2zecwfbqdbwzvy66fyixa4

Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning

Kejia Wu, Volker Haarslev
2013 International Workshop on Description Logics  
We found that parallelizing the processing of conjunctive branches of tableau expansion trees is auspicious and can partly evolve into a scalable solution for DL reasoning.  ...  computers.  ...  parallel, as well as some primary DL tableau optimization techniques. [2, 3] presented the first algorithm for parallel TBox classification achieving (super)linear scalability. [16] reported on a reasoner  ... 
dblp:conf/dlog/WuH13 fatcat:5l5smtadqfe3rj5y5woywfqz5i

Ontology Design for Solving Computationally-Intensive Problems on Heterogeneous Architectures

Hossam Faheem, Birgitta König-Ries, Muhammad Aslam, Naif Aljohani, Iyad Katib
2018 Sustainability  
Developing and using ontologies and reasoning techniques play a significant role in reducing the complexity of identifying the components of such integrated infrastructures.  ...  Validation by using problems from the Elastic Optical Network domain has demonstrated the flexibility of the suggested ontology and its suitability for use with any other computationally-intensive problem  ...  Acknowledgments: The work described in this paper was supported by King Abdulaziz University's High Performance Computing Center (Aziz Supercomputer) (http://hpc.kau.edu.sa).  ... 
doi:10.3390/su10020441 fatcat:opr4xvmm7ralbbxwteek3x6j7e

Towards Parallel Classifcation of TBoxes

Mina Aslani, Volker Haarslev
2008 International Workshop on Description Logics  
, we propose a parallel approach for TBox classification.  ...  First experiments on parallelizing well-known algorithms for TBox classification were conducted to study the trade-off between incompleteness and speed improvement.  ...  The approach reported in [7] also proposed a technique for incremental ontology reasoning that is, reasoning that reuses the results obtained from previous computations.  ... 
dblp:conf/dlog/AslaniH08 fatcat:y5wjtojp3bgtbe3m7izsy5q5eu

Parallel OWL Reasoning: Merge Classification [chapter]

Kejia Wu, Volker Haarslev
2014 Lecture Notes in Computer Science  
., its suitability for distributed reasoning, and present an empirical study using a set of benchmark ontologies, where a speedup of up to a factor of 4 has been observed when using 8 workers in parallel  ...  We present a novel algorithm that uses a divide and conquer strategy for parallelizing OWL TBox classification, a key task in description logic reasoning.  ...  Acknowledgements We are grateful for Ralf Möller at Hamburg University of Technology in giving us access to their equipment that was used to conduct the presented evaluation.  ... 
doi:10.1007/978-3-319-06826-8_17 fatcat:k2ewiwlganc4ndr7unmd6vqmom

Very Large Scale OWL Reasoning through Distributed Computation [chapter]

Raghava Mutharaju
2012 Lecture Notes in Computer Science  
For all of the popular reasoners, in order to process an ontology, an implicit assumption is that the ontology should fit in primary memory.  ...  Due to recent developments in reasoning algorithms of the various OWL profiles, the classification time for an ontology has come down drastically.  ...  This work was supported by the National Science Foundation under award 1017225 "III: Small: TROn -Tractable Reasoning with Ontologies."  ... 
doi:10.1007/978-3-642-35173-0_30 fatcat:lfaqfmd6bbdgpkfepzykvv2nyu

Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing [chapter]

Alexey Cheptsov, Axel Tenschert, Paul Schmidt, Birte Glimm, Mauricio Matthesius, Thorsten Liebig
2014 Lecture Notes in Computer Science  
The technique is inherently designed with parallelism in mind, which allows for high performance on large-scale Cloud computing infrastructures.  ...  This allows for improving traditional data mining techniques by adopting algorithms from ontological domain modelling, natural language processing, and machine learning.  ...  The technique is inherently designed in a parallel fashion, which allows it to scale well on high performance computing infrastructures, such as Cloud computing.  ... 
doi:10.1007/978-3-642-54370-8_6 fatcat:qoxc6xntnbczlp247iak3fb7dm

Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies

Jia Xu, Patrick Shironoshita, Ubbo Visser, Nigel John, Mansur Kabuka
2015 International Journal of Intelligence Science  
With independence between computed MSC's, scalability for query answering can also be achieved by distributing and parallelizing the computations.  ...  This method, however, loses its simplicity and efficiency when applied to large and complex ontologies, as it tends to generate very large MSC's that could lead to intractable reasoning.  ...  Scalability Evaluation Using the MSC  method for query answering over large ontologies is intended for distributed (parallel) computing.  ... 
doi:10.4236/ijis.2015.51005 pmid:26594595 pmcid:PMC4652860 fatcat:v7qmu4nft5d25e56cbp2hvbz34

A Parallel Environment Designing for OWL Thinking

Sanjana C Madargi, Leena R Ragha, Vanita M Mane, M.D. Patil, V.A. Vyawahare
2020 ITM Web of Conferences  
In this paper, we explore the different techniques for generating semantic knowledge using parallel approaches like the T-box approach, merge classification, extract concept for matching ontology.  ...  We propose an enhanced method to speed-up the computation by combining T-box and merge classification techniques.  ...  Hence improving the efficiency of computation can be achieved. For parallel computing, we require a multi-core processor with OpenMP or MPI techniques to support computing.  ... 
doi:10.1051/itmconf/20203203015 fatcat:pagneh6wwredxlulsy25lb4u4e

Supporting Execution-Level Business Process Modeling with Semantic Technologies [chapter]

Matthias Born, Jörg Hoffmann, Tomasz Kaczmarek, Marek Kowalkiewicz, Ivan Markovic, James Scicluna, Ingo Weber, Xuan Zhou
2009 Lecture Notes in Computer Science  
When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these implementations correctly.  ...  We present Maestro for BPMN, a tool that allows to annotate and automatically compose activities within business processes, and to verify the consistency of an annotated process.  ...  Are there conflicting tasks that may be executed in parallel? The basic steps taken for answering these questions are the following: -Compute the parallelism relation.  ... 
doi:10.1007/978-3-642-00887-0_67 fatcat:oofx3ewsyzcqhjhkjkmoi2cxbq

A survey of large-scale reasoning on the Web of data

Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou
2018 Knowledge engineering review (Print)  
These systems differ significantly; for instance in terms of reasoning expressivity, computational properties such as completeness, or reasoning objectives.  ...  This is particularly true for the so-called Web of Data, in which data is semantically enriched and interlinked using ontologies.  ...  with Ontologies."  ... 
doi:10.1017/s0269888918000255 fatcat:bergc5uphbceznigppektgvzrm

The role of parallelism, web services and ontologies in bioinformatics and omics data management and analysis

Mario Cannataro, Pietro Hiram Guzzi
2013 EMBnet journal  
This paper presents an overview of how parallelism, service orientation, and knowledge management techniques can be used to face those challenges presenting some recent bioinformatics tools and projects  ...  , like Gene Ontology, or into specialised databases, as those available in pharmacogenomics.  ...  EMBnet.journal 19.B Results and Discussion The role of parallelism, web services and ontologies in bioinformatics In these last years, both well-known high performance computing techniques such as Parallel  ... 
doi:10.14806/ej.19.b.731 fatcat:i3tffcagufhd5ijk5cq5enzwxe
« Previous Showing results 1 — 15 out of 40,693 results