The Incredible ELK

Simancík, Frantisek; Krötzsch, Markus; Kazakov, Yevgeny

doi:10.1007/s10817-013-9296-3

Record: found
Abstract: not found
Article: not found

The Incredible ELK : From Polynomial Procedures to Efficient Reasoning with ℰ ℒ $\mathcal {E} \mathcal {L}$ Ontologies

Author(s): Yevgeny Kazakov , Markus Krötzsch , František Simančík

Publication date (Print): November 17 2013

Journal: Journal of Automated Reasoning

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 24

Record: found
Abstract: not found
Article: not found

Rete: A fast algorithm for the many pattern/many object pattern match problem

Charles L. Forgy (1982)

0 comments Cited 128 times – based on 0 reviews      Review now

Record: found
Abstract: not found
Article: not found

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo … (2007)

0 comments Cited 116 times – based on 0 reviews      Review now

Record: found
Abstract: not found
Article: not found

Linear-time algorithms for testing the satisfiability of propositional horn formulae

William Dowling, Jean H. Gallier (1984)

0 comments Cited 88 times – based on 0 reviews      Review now

All references

Author and article information

Journal

Title: Journal of Automated Reasoning

Abbreviated Title: J Autom Reasoning

Publisher: Springer Nature

ISSN (Print): 0168-7433

ISSN (Electronic): 1573-0670

Publication date Created: June 2014

Publication date (Print): November 17 2013

Volume: 53

Issue: 1

Pages: 1-61

Article

DOI: 10.1007/s10817-013-9296-3

SO-VID: a0c21b34-a35b-4b35-b65d-265e7e57a0dc

History

Data availability:

The Incredible ELK : From Polynomial Procedures to Efficient Reasoning with ℰ ℒ $\mathcal {E} \mathcal {L}$ Ontologies

Read this article at

Related collections

ScienceOpen Research

Most cited references 24

Rete: A fast algorithm for the many pattern/many object pattern match problem

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Linear-time algorithms for testing the satisfiability of propositional horn formulae

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 654

Cited by 39

Most referenced authors 138