University of Oxford Logo University of OxfordDepartment of Computer Science - Home 

@ARTICLE{Horr12a,
  AUTHOR = {Ian Horrocks},
  DATE-ADDED = {2012-04-06 09:02:39 +0100},
  DATE-MODIFIED = {2012-04-06 09:12:05 +0100},
  DOI = {10.1631/jzus.C1101001},
  JOURNAL = {Journal of Zhejiang University - Science C},
  NUMBER = {4},
  PAGES = {241--244},
  TITLE = {$\mbox{Semantics} \sqcap \mbox{scalability} \models \bot$?},
  URL = {download/2012/Horr12a.pdf},
  VOLUME = {13},
  YEAR = {2012},
  BDSK-URL-1 = {download/2012/Horr12a.pdf},
  BDSK-URL-2 = {http://dx.doi.org/10.1631/jzus.C1101001}
}


@INPROCEEDINGS{CHKKMMW12a,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Markus Kr\"{o}tzsch and Clemens Kupke and Despoina Magka and Boris Motik and Zhe Wang},
  BOOKTITLE = {Proc.\ of the 13th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2012)},
  DATE-ADDED = {2012-02-08 19:12:20 +0000},
  DATE-MODIFIED = {2012-04-23 11:16:36 +0100},
  TITLE = {Acyclicity Conditions and their Application to Query Answering in Description Logics},
  URL = {download/2012/CHKKMMW12a.pdf},
  YEAR = {2012},
  BDSK-URL-1 = {download/2012/CHKKMMW12a}
}


@INPROCEEDINGS{MoHK12a,
  AUTHOR = {Boris Motik and Ian Horrocks and {Su Myeon} Kim},
  BOOKTITLE = {Proc.\ of the Twentyfirst International World Wide Web Conference (WWW 2012)},
  DATE-ADDED = {2012-02-04 17:38:22 +0000},
  DATE-MODIFIED = {2012-02-05 15:06:52 +0000},
  PUBLISHER = {ACM},
  TITLE = {Delta-Reasoner: a Semantic Web Reasoner for an Intelligent Mobile Platform},
  URL = {download/2012/MoHK12a.pdf},
  YEAR = {2012},
  BDSK-URL-1 = {download/2012/MoHK12a.pdf}
}


@ARTICLE{dlprimer,
  AUTHOR = {Markus Kr\"{o}tzsch and Franti\v{s}ek Siman\v{c}\'{i}k and Ian Horrocks},
  DATE-ADDED = {2012-01-20 10:30:50 +0000},
  DATE-MODIFIED = {2012-01-20 10:46:15 +0000},
  EE = {http://arxiv.org/abs/1201.4089},
  JOURNAL = {CoRR},
  TITLE = {A Description Logic Primer},
  URL = {http://arxiv.org/abs/1201.4089},
  VOLUME = {abs/1201.4089},
  YEAR = {2012},
  BDSK-URL-1 = {http://arxiv.org/abs/1201.4089}
}


@ARTICLE{CMSH11a,
  AUTHOR = {Bernardo {Cuenca Grau} and Boris Motik and Giorgos Stoilos and Ian Horrocks},
  DATE-ADDED = {2011-10-04 17:41:21 +0100},
  DATE-MODIFIED = {2012-03-29 08:28:06 +0100},
  JOURNAL = {J.\ of Artificial Intelligence Research},
  MONTH = {March},
  PAGES = {419--476},
  TITLE = {Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice},
  URL = {download/2011/CMSH11a.pdf},
  VOLUME = {43},
  YEAR = {2012},
  BDSK-URL-1 = {download/2010/StCH10b.pdf}
}