[BOOK][B] Exploiting linked data and knowledge graphs in large organisations

JZ Pan, G Vetere, JM Gomez-Perez, H Wu - 2017 - Springer
A few years after Google announced that their 'Knowledge Graph'would have allowed
searching for things, not strings, 1 knowledge graphs start entering information retrieval …

The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰ ℒ Ontologies

Y Kazakov, M Krötzsch, F Simančík - Journal of automated reasoning, 2014 - Springer
Abstract ℰ ℒ EL is a simple tractable Description Logic that features conjunctions and
existential restrictions. Due to its favorable computational properties and relevance to …

Concurrent classification of Ontologies

Y Kazakov, M Krötzsch, F Simančík - International Semantic Web …, 2011 - Springer
We describe an optimised consequence-based procedure for classification of ontologies
expressed in a polynomial fragment ELH_R^+ of the OWL 2 EL profile. A distinguishing …

OWL 2 profiles: An introduction to lightweight ontology languages

M Krötzsch - Reasoning Web International Summer School, 2012 - Springer
This chapter gives an extended introduction to the lightweight profiles OWL EL, OWL QL,
and OWL RL of the Web Ontology Language OWL. The three ontology language standards …

A better uncle for OWL: Nominal schemas for integrating rules and ontologies

M Krötzsch, F Maier, A Krisnadhi, P Hitzler - Proceedings of the 20th …, 2011 - dl.acm.org
We propose a description-logic style extension of OWL 2 with nominal schemas which can
be used like" variable nominal classes" within axioms. This feature allows ontology …

[PDF][PDF] ELK reasoner: architecture and evaluation.

Y Kazakov, M Krötzsch, F Simancik - ORE, 2012 - Citeseer
ELK is a specialized reasoner for the lightweight ontology language OWL EL. The practical
utility of ELK is in its combination of high performance and comprehensive support for …

OWL and Rules

A Krisnadhi, F Maier, P Hitzler - … Web. Semantic Technologies for the Web …, 2011 - Springer
The relationship between the Web Ontology Language OWL and rule-based formalisms has
been the subject of many discussions and research investigations, some of them …

Representing and querying validity time in RDF and OWL: A logic-based approach

B Motik - Journal of Web Semantics, 2012 - Elsevier
RDF (S) and OWL 2 can currently represent only static information. In practice, however, the
truth of statements often changes with time. Semantic Web applications often need to …

Pagoda: Pay-as-you-go ontology query answering using a datalog reasoner

Y Zhou, BC Grau, Y Nenov, M Kaminski… - Journal of Artificial …, 2015 - jair.org
Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for
many applications. Query answering is, however, computationally very expensive, which …

A framework for semantic-based similarity measures for-concepts

K Lehmann, AY Turhan - European Workshop on Logics in Artificial …, 2012 - Springer
Similarity measures for concepts written in Description Logics (DLs) are often devised based
on the syntax of concepts or simply by adjusting them to a set of instance data. These …