Consequence-based reasoning for description logics with disjunctions and number restrictions

Andrew Bate; Boris Motik; Bernardo Cuenca Grau; David Tena Cucala; František Simančík; Ian Horrocks

doi:10.1613/jair.1.11257

Consequence-based reasoning for description logics with disjunctions and number restrictions

Andrew Bate
, Boris Motik
, Bernardo Cuenca Grau
, David Tena Cucala
, František Simančík
, Ian Horrocks

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	625-690
Number of pages	66
Journal	Journal of Artificial Intelligence Research
Volume	63
DOIs	https://doi.org/10.1613/jair.1.11257
Publication status	Published - 1 Nov 2018

Access to Document

10.1613/jair.1.11257

Cite this

@article{8c695db3d7ec401dbef3b46c5c89d8a6,

title = "Consequence-based reasoning for description logics with disjunctions and number restrictions",

author = "Andrew Bate and Boris Motik and Grau, \{Bernardo Cuenca\} and Cucala, \{David Tena\} and Franti{\v s}ek Siman{\v c}{\'i}k and Ian Horrocks",

year = "2018",

month = nov,

day = "1",

doi = "10.1613/jair.1.11257",

language = "English",

volume = "63",

pages = "625--690",

journal = "Journal of Artificial Intelligence Research",

issn = "1076-9757",

publisher = "AI Access Foundation",

}

TY - JOUR

T1 - Consequence-based reasoning for description logics with disjunctions and number restrictions

AU - Bate, Andrew

AU - Motik, Boris

AU - Grau, Bernardo Cuenca

AU - Cucala, David Tena

AU - Simančík, František

AU - Horrocks, Ian

PY - 2018/11/1

Y1 - 2018/11/1

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

U2 - 10.1613/jair.1.11257

DO - 10.1613/jair.1.11257

M3 - Article

AN - SCOPUS:85057722912

SN - 1076-9757

VL - 63

SP - 625

EP - 690

JO - Journal of Artificial Intelligence Research

JF - Journal of Artificial Intelligence Research

ER -

Consequence-based reasoning for description logics with disjunctions and number restrictions

Access to Document

Other files and links

Cite this