15 Years of Consequence-Based Reasoning

David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks

doi:10.1007/978-3-030-22102-7_27

15 Years of Consequence-Based Reasoning

David Tena Cucala
, Bernardo Cuenca Grau
, Ian Horrocks

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer-Verlag
Pages	573-587
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-030-22102-7_27
Publication status	Published - 2019
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11560 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Automated reasoning
Description Logics
Knowledge representation
Ontologies

Access to Document

10.1007/978-3-030-22102-7_27

Cite this

Tena Cucala, D., Cuenca Grau, B., & Horrocks, I. (2019). 15 Years of Consequence-Based Reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 573-587). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11560 LNCS). Springer-Verlag. https://doi.org/10.1007/978-3-030-22102-7_27

Tena Cucala, David ; Cuenca Grau, Bernardo ; Horrocks, Ian. / 15 Years of Consequence-Based Reasoning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, 2019. pp. 573-587 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{5350eca784c0477e8fab045f55bccc9b,

title = "15 Years of Consequence-Based Reasoning",

keywords = "Automated reasoning, Description Logics, Knowledge representation, Ontologies",

author = "\{Tena Cucala\}, David and \{Cuenca Grau\}, Bernardo and Ian Horrocks",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.",

year = "2019",

doi = "10.1007/978-3-030-22102-7\_27",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "573--587",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Tena Cucala, D, Cuenca Grau, B & Horrocks, I 2019, 15 Years of Consequence-Based Reasoning. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11560 LNCS, Springer-Verlag, pp. 573-587. https://doi.org/10.1007/978-3-030-22102-7_27

15 Years of Consequence-Based Reasoning. / Tena Cucala, David; Cuenca Grau, Bernardo; Horrocks, Ian.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, 2019. p. 573-587 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11560 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - 15 Years of Consequence-Based Reasoning

AU - Tena Cucala, David

AU - Cuenca Grau, Bernardo

AU - Horrocks, Ian

PY - 2019

Y1 - 2019

KW - Automated reasoning

KW - Description Logics

KW - Knowledge representation

KW - Ontologies

UR - https://www.scopus.com/pages/publications/85068358943

U2 - 10.1007/978-3-030-22102-7_27

DO - 10.1007/978-3-030-22102-7_27

M3 - Chapter

AN - SCOPUS:85068358943

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 573

EP - 587

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer-Verlag

ER -

Tena Cucala D, Cuenca Grau B, Horrocks I. 15 Years of Consequence-Based Reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag. 2019. p. 573-587. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-22102-7_27

15 Years of Consequence-Based Reasoning

Publication series

Keywords

Access to Document

Other files and links

Cite this