Search dblp for Publications

export results for "Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions"

 download as .bib file

@article{DBLP:journals/jair/BateMGCSH18,
  author       = {Andrew Bate and
                  Boris Motik and
                  Bernardo Cuenca Grau and
                  David Tena Cucala and
                  Frantisek Simancik and
                  Ian Horrocks},
  title        = {Consequence-Based Reasoning for Description Logics with Disjunctions
                  and Number Restrictions},
  journal      = {J. Artif. Intell. Res.},
  volume       = {63},
  pages        = {625--690},
  year         = {2018},
  url          = {https://doi.org/10.1613/jair.1.11257},
  doi          = {10.1613/JAIR.1.11257},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/BateMGCSH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.