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 …
inconsistencies within ontologies. Traditional techniques often prove inadequate when …
A survey of large-scale reasoning on the web of data
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 …
organizations, the Web interlinking this wealth of information becomes more complex. This is …
Scaling parallel rule-based reasoning
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 …
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.
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 …
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 …
Knowledge representation and reasoning play a crucial role in accomplishing this vision …
Applying parallelization strategies for inference mechanisms performance improvement
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 …
knowledge representation in ontologies can be used in a lot of applications, ranging from …
Distributed reasoning of rdf data
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 …
knowledge graphs, are constructed and consumed in several domains. Reasoning over …
Linked data
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 …
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 …
DLs are more expressive than propositional logic but less expressive than first-order logic. In …