NORA: Scalable OWL reasoner based on NoSQL databases and Apache Spark

A Benítez‐Hidalgo, I Navas‐Delgado… - Software: Practice …, 2023 - Wiley Online Library
Abstract Reasoning is the process of inferring new knowledge and identifying
inconsistencies within ontologies. Traditional techniques often prove inadequate when …

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

G Antoniou, S Batsakis, R Mutharaju, JZ Pan… - The Knowledge …, 2018 - cambridge.org
As more and more data is being generated by sensor networks, social media and
organizations, the Web interlinking this wealth of information becomes more complex. This is …

Scaling parallel rule-based reasoning

M Peters, C Brink, S Sachweh, A Zündorf - … Crete, Greece, May 25-29, 2014 …, 2014 - Springer
Using semantic technologies the materialization of implicit given facts that can be derived
from a dataset is an important task performed by a reasoner. With respect to the answering …

[PDF][PDF] Rule-based Reasoning on Massively Parallel Hardware.

M Peters, C Brink, S Sachweh, A Zündorf - SSWS@ ISWC, 2013 - Citeseer
In order to enable the semantic web as well as other time critical semantic applications,
scaleable reasoning mechanisms are indispensable. To address this issue, in this paper we …

Distributed rule-based ontology reasoning

R Mutharaju - 2016 - rave.ohiolink.edu
The vision of the Semantic Web is to provide structure and meaning to the data on the Web.
Knowledge representation and reasoning play a crucial role in accomplishing this vision …

Applying parallelization strategies for inference mechanisms performance improvement

DA Araujo, AR Hentges, SJ Rigo… - IEEE Latin America …, 2018 - ieeexplore.ieee.org
The use of semantics technologies for system development is increasing nowadays. The
knowledge representation in ontologies can be used in a lot of applications, ranging from …

Distributed reasoning of rdf data

S Sakr, M Wylot, R Mutharaju, D Le Phuoc… - Linked Data: Storing …, 2018 - Springer
Large RDF interconnected datasets, especially in the form of open as well as enterprise
knowledge graphs, are constructed and consumed in several domains. Reasoning over …

Linked data

S Sakr, M Wylot, R Mutharaju, D Le Phuoc, I Fundulaki - Springer: Cham, 2018 - Springer
The World Wide Web is an interlinked collection of documents that are generally devoid of
any structure and primarily meant for human consumption. In 2006, Sir Tim Berners-Lee, the …

[HTML][HTML] Description Logic

SSSYTB Done - confocal-manawatu.pbworks.com
Description logics (DL) are a family of formal knowledge representation languages. Many
DLs are more expressive than propositional logic but less expressive than first-order logic. In …