|
@INPROCEEDINGS{GlHS08b,
AUTHOR = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the 11th Int.\ Conf.\ on Principles of Knowledge
Representation and Reasoning (KR~2008)},
DATE-ADDED = {2008-06-14 19:12:08 +0100},
DATE-MODIFIED = {2008-09-21 12:55:02 +0100},
PAGES = {252--262},
TITLE = {Unions of Conjunctive Queries in $\mathcal{SHOQ}$},
URL = {download/2008/GlHS08b.pdf},
YEAR = {2008}
}
@INPROCEEDINGS{MCHS08a,
AUTHOR = {Boris Motik and Bernardo {Cuenca Grau} and Ian Horrocks
and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the 11th Int.\ Conf.\ on Principles of Knowledge
Representation and Reasoning (KR~2008)},
DATE-ADDED = {2008-06-14 19:06:52 +0100},
DATE-MODIFIED = {2008-09-21 12:56:27 +0100},
PAGES = {296--306},
TITLE = {Representing Structured Objects using Description Graphs},
URL = {download/2008/MCHS08a.pdf},
YEAR = {2008}
}
@INPROCEEDINGS{CuHo08a,
AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 18th Eur.\ Conf.\ on Artificial Intelligence
(ECAI~2008)},
DATE-ADDED = {2008-06-30 16:47:46 +0100},
DATE-MODIFIED = {2008-06-30 16:49:58 +0100},
TITLE = {Privacy-Preserving Query Answering in Logic-based
Information Systems},
URL = {download/2008/CuHo08a.pdf},
YEAR = {2008},
BDSK-URL-1 = {download/2008/CHKS08b.pdf}
}
@INPROCEEDINGS{PeMH08b,
AUTHOR = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian
Horrocks},
BOOKTITLE = {Proc.\ of the Int.\ Workshop on Logics in Databases (LID
2008)},
DATE-ADDED = {2008-05-01 17:20:22 +0100},
DATE-MODIFIED = {2008-05-01 17:21:45 +0100},
TITLE = {Rewriting Conjunctive Queries over Description Logic
Constraints},
URL = {download/2008/PeMH08b.pdf},
YEAR = {2008}
}
@INPROCEEDINGS{MoHo08a,
AUTHOR = {Boris Motik and Ian Horrocks},
BOOKTITLE = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning
(IJCAR~2008)},
DATE-ADDED = {2008-04-29 20:57:19 +0100},
DATE-MODIFIED = {2008-09-19 08:00:14 +0100},
PAGES = {242--258},
TITLE = {Individual Reuse in Description Logic Reasoning},
URL = {download/2008/MoHo08a.pdf},
YEAR = {2008}
}
@INPROCEEDINGS{MoSH08a,
AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 2008 Description Logic Workshop (DL~2008)},
DATE-ADDED = {2008-04-27 11:19:00 +0100},
DATE-MODIFIED = {2008-04-27 11:22:11 +0100},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Optimizing the Nominal Introduction Rule in (Hyper)Tableau
Calculi},
URL = {download/2008/MoSH08a.pdf},
YEAR = {2008}
}
@INPROCEEDINGS{GlHS08a,
AUTHOR = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the 2008 Description Logic Workshop (DL~2008)},
DATE-ADDED = {2008-04-27 11:12:10 +0100},
DATE-MODIFIED = {2008-04-27 11:16:04 +0100},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Deciding $\mathcal{SHOQ}^\sqcap$ Knowledge Base
Consistency using Alternating Automata},
URL = {download/2008/GlHS08a.pdf},
YEAR = {2008}
}
@INCOLLECTION{CHKS08b,
AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny
Kazakov and Ulrike Sattler},
BOOKTITLE = {Ontology Modularization},
DATE-ADDED = {2008-04-25 19:12:38 +0100},
DATE-MODIFIED = {2008-04-25 19:15:19 +0100},
EDITOR = {Heiner Stuckenschmidt and Stefano Spaccapietra},
PUBLISHER = {Springer},
TITLE = {Extracting Modules from Ontologies: A Logic-based
Approach},
URL = {download/2008/CHKS08b.pdf},
YEAR = {2008},
BDSK-URL-1 = {download/2008/CHKS08b.pdf}
}
@INPROCEEDINGS{THCM08a,
AUTHOR = {Duc Thanh Tran and Peter Haase and Bernardo {Cunca Grau}
and Boris Motik and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 18th Nat.\ Conf.\ on Artificial Intelligence
(AAAI~08)},
DATE-ADDED = {2008-04-25 19:00:54 +0100},
DATE-MODIFIED = {2008-09-19 07:54:31 +0100},
ISBN = {978-1-57735-368-3},
PAGES = {1237--1242},
TITLE = {Metalevel Information in Ontology-Based Applications},
URL = {download/2008/THCM08a.pdf},
YEAR = {2008},
BDSK-URL-1 = {download/2008/THCM08a.pdf}
}
@ARTICLE{GHLS08a,
AUTHOR = {Birte Glimm and Ian Horrocks and Carsten Lutz and Uli
Sattler},
DATE-ADDED = {2008-04-25 18:55:53 +0100},
DATE-MODIFIED = {2008-04-25 19:09:23 +0100},
JOURNAL = {J.\ of Artificial Intelligence Research},
PAGES = {157--204},
TITLE = {Conjunctive Query Answering for the Description Logic
$\mathcal{SHIQ}$},
URL = {download/2008/GHLS08a.pdf},
VOLUME = {31},
YEAR = {2008},
BDSK-URL-1 = {download/2008/GHLS08a.pdf}
}
@INPROCEEDINGS{PeMH08a,
AUTHOR = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian
Horrocks},
BOOKTITLE = {Proc.\ of the Int.\ Workshop on Semantics in Data and
Knowledge Bases (SDKB 2008)},
DATE-ADDED = {2008-04-25 18:12:49 +0100},
DATE-MODIFIED = {2008-09-03 14:08:50 +0100},
PAGES = {199--214},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Rewriting Conjunctive Queries over Description Logic
Knowledge Bases},
URL = {download/2008/PeMH08a.pdf},
VOLUME = {4925},
YEAR = {2008},
BDSK-URL-1 = {download/2008/PeMH08a.pdf}
}
@ARTICLE{CHKS08a,
AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny
Kazakov and Ulrike Sattler},
DATE-ADDED = {2008-02-22 09:28:07 +0000},
DATE-MODIFIED = {2008-02-22 09:29:24 +0000},
JOURNAL = {J.\ of Artificial Intelligence Research},
PAGES = {273-318},
TITLE = {Modular Reuse of Ontologies: Theory and Practice},
URL = {download/2008/CHKS08a.pdf},
VOLUME = {31},
YEAR = {2008},
BDSK-URL-1 = {download/2008/CHKS08a.pdf}
}
@INCOLLECTION{HPMW07,
AUTHOR = {Ian Horrocks and Peter F.~Patel-Schneider and Deborah
L.~McGuinness and Christopher A.~Welty},
BOOKTITLE = {The Description Logic Handbook: Theory, Implementation,
and Applications (2nd Edition)},
CHAPTER = {14},
DATE-ADDED = {2007-12-21 12:12:20 +0000},
DATE-MODIFIED = {2007-12-21 12:20:58 +0000},
EDITOR = {Franz Baader and Diego Calvanese and Deborah McGuinness
and Daniele Nardi and Peter F.~Patel-Schneider},
PUBLISHER = {Cambridge University Press},
TITLE = {{OWL: a Description Logic Based Ontology Language for the
Semantic Web}},
URL = {download/2003/HPMW07.pdf},
YEAR = 2007,
BDSK-URL-1 = {download/2003/HPMW07.pdf}
}
@ARTICLE{PaHo07b,
AUTHOR = {Peter F.\ Patel-Schneider and Ian Horrocks},
DATE-ADDED = {2007-09-11 17:04:17 +0100},
DATE-MODIFIED = {2007-11-30 11:21:38 +0000},
DOI = {10.1016/j.websem.2007.09.004},
JOURNAL = {J.\ of Web Semantics},
TITLE = {A Comparison of Two Modelling Paradigms in the Semantic
Web},
URL = {download/2007/PaHo07b.pdf},
YEAR = 2007,
BDSK-URL-1 = {download/2007/PaHo07b.pdf}
}
@ARTICLE{SSPTH07,
AUTHOR = {Giorgos Stoilos and Giorgos Stamou and Jeff Z.~Pan and
Vassilis Tzouvaras and Ian Horrocks},
DATE-ADDED = {2007-08-06 19:58:29 +0100},
DATE-MODIFIED = {2007-10-19 11:20:00 +0100},
JOURNAL = {J.\ of Artificial Intelligence Research},
PAGES = {273--320},
TITLE = {Reasoning with Very Expressive Fuzzy Description Logics},
URL = {download/2007/SSPTH07.pdf},
VOLUME = {30},
YEAR = {2007},
BDSK-URL-1 = {download/2007/SSPTH07.pdf}
}
@INCOLLECTION{BaHS07a,
AUTHOR = {Franz Baader and Ian Horrocks and Ulrike Sattler},
BOOKTITLE = {Handbook of Knowledge Representation},
DATE-ADDED = {2007-07-25 18:14:15 +0100},
DATE-MODIFIED = {2008-04-27 11:29:54 +0100},
EDITOR = {Frank {van Harmelen} and Vladimir Lifschitz and Bruce
Porter},
PUBLISHER = {Elsevier},
TITLE = {{D}escription {L}ogics},
URL = {download/2007/BaHS07a.pdf},
YEAR = {2007},
BDSK-URL-1 = {download/2007/BaHS07a.pdf}
}
@INPROCEEDINGS{GHHMS07,
AUTHOR = {Christine Golbreic and Matthew Horridge and Ian Horrocks
and Boris Motik and Rob Shearer},
BOOKTITLE = {Proc.\ of the 6th International Semantic Web Conference
(ISWC 2007)},
DATE-ADDED = {2007-07-25 17:37:45 +0100},
DATE-MODIFIED = {2007-11-30 11:10:19 +0000},
ISBN = {978-3-540-76297-3},
PAGES = {169--182},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {{OBO} and {OWL}: Leveraging Semantic Web Technologies for
the Life Sciences},
URL = {download/2007/GHHMS07.pdf},
VOLUME = {4825},
YEAR = {2007},
BDSK-URL-1 = {download/2007/GHHMS07.pdf}
}
@ARTICLE{HoSa07a,
AUTHOR = {Ian Horrocks and Ulrike Sattler},
DATE-ADDED = {2007-05-25 10:40:14 +0100},
DATE-MODIFIED = {2007-09-01 13:05:24 +0100},
DOI = {10.1007/s10817-007-9079-9},
ISSN = {0168-7433},
JOURNAL = {J.\ of Automated Reasoning},
NUMBER = {3},
PAGES = {249--276},
TITLE = {A Tableau Decision Procedure for $\mathcal{SHOIQ}$},
URL = {download/2007/HoSa07a.pdf},
VOLUME = {39},
YEAR = 2007,
BDSK-URL-1 = {download/2007/HoSa07a.pdf}
}
@ARTICLE{TsHP07,
AUTHOR = {Dmitry Tsarkov and Ian Horrocks and Peter~F.\
Patel-Schneider},
DATE-ADDED = {2007-05-25 10:45:31 +0100},
DATE-MODIFIED = {2007-09-01 13:02:09 +0100},
DOI = {10.1007/s10817-007-9077-y},
JOURNAL = {J.\ of Automated Reasoning},
NUMBER = {3},
PAGES = {277--316},
TITLE = {Optimizing Terminological Reasoning for Expressive
Description Logics},
URL = {download/2007/TsHP07.pdf},
VOLUME = {39},
YEAR = {2007},
BDSK-URL-1 = {download/2007/TsHP07.pdf}
}
@INPROCEEDINGS{MoSH07a,
AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 21st Int.\ Conf.\ on Automated Deduction
(CADE-21)},
DATE-ADDED = {2007-05-03 14:24:20 +0100},
DATE-MODIFIED = {2007-07-25 18:12:24 +0100},
PAGES = {67--83},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Artificial Intelligence},
TITLE = {Optimized Reasoning in Description Logics using
Hypertableaux},
URL = {download/2007/MoSH07a.pdf},
VOLUME = {4603},
YEAR = {2007},
BDSK-URL-1 = {download/2007/MoSH07a.pdf}
}
@INPROCEEDINGS{GlHS07a,
AUTHOR = {Glimm, Birte and Horrocks, Ian and Sattler, Uli},
BOOKTITLE = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
DATE-ADDED = {2007-06-04 16:52:57 +0100},
DATE-MODIFIED = {2007-07-24 21:39:55 +0100},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Conjunctive Query Entailment for $\mathcal{SHOQ}$},
URL = {download/2007/GlHS07a.pdf},
VOLUME = {250},
YEAR = {2007},
BDSK-URL-1 = {download/2007/GlHS07a.pdf}
}
@INPROCEEDINGS{MoSH07b,
AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
DATE-ADDED = {2007-07-25 17:10:07 +0100},
DATE-MODIFIED = {2007-07-25 17:11:18 +0100},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {A Hypertableau Calculus for $\mathcal{SHIQ}$},
URL = {download/2007/MoSH07b.pdf},
VOLUME = {250},
YEAR = {2007},
BDSK-URL-1 = {download/2007/MoSH07b.pdf}
}
@INPROCEEDINGS{CHKS07b,
AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny
Kazakov and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
DATE-ADDED = {2007-07-25 17:02:25 +0100},
DATE-MODIFIED = {2007-07-25 17:12:10 +0100},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Ontology Reuse: Better Safe than Sorry},
URL = {download/2007/CHKS07b.pdf},
VOLUME = {250},
YEAR = {2007},
BDSK-URL-1 = {download/2007/CHKS07b.pdf}
}
@INPROCEEDINGS{MoHS07b,
AUTHOR = {Boris Motik and Ian Horrocks and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the Third OWL Experiences and Directions
Workshop},
DATE-ADDED = {2007-07-23 23:53:02 +0100},
DATE-MODIFIED = {2007-07-24 00:05:08 +0100},
NUMBER = {258},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Adding Integrity Constraints to {OWL}},
URL = {download/2007/MoHS07b.pdf},
YEAR = {2007},
BDSK-URL-1 = {download/2007/MoHS07b.pdf}
}
@INPROCEEDINGS{CHKS07c,
AUTHOR = {Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov
and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the Third OWL Experiences and Directions
Workshop},
DATE-ADDED = {2007-07-23 23:57:36 +0100},
DATE-MODIFIED = {2007-07-25 17:55:07 +0100},
NUMBER = {258},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Extracting Modules from Ontologies: A Logic-based
Approach},
URL = {download/2007/CHKS07c.pdf},
YEAR = {2007},
BDSK-URL-1 = {download/2007/CHKS07c.pdf}
}
@INPROCEEDINGS{GoHo07a,
AUTHOR = {Christine Golbreich and Ian Horrocks},
BOOKTITLE = {Proc.\ of the Third OWL Experiences and Directions
Workshop},
DATE-ADDED = {2007-07-23 23:55:37 +0100},
DATE-MODIFIED = {2007-07-24 00:03:51 +0100},
NUMBER = {258},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {The {OBO} to {OWL} mapping, {GO} to {OWL} 1.1!},
URL = {download/2007/GoHo07a.pdf},
YEAR = {2007},
BDSK-URL-1 = {download/2007/GoHo07a.pdf}
}
@INPROCEEDINGS{MoHS07a,
AUTHOR = {Boris Motik and Ian Horrocks and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the Sixteenth International World Wide Web
Conference (WWW 2007)},
DATE-ADDED = {2007-01-31 09:40:30 +0000},
DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
TITLE = {Bridging the Gap Between {OWL} and Relational Databases},
URL = {download/2007/MoHS07a.pdf},
YEAR = {2007},
BDSK-URL-1 = {download/2007/MoHS07a.pdf}
}
@INPROCEEDINGS{CHKS07a,
AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny
Kazakov and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the Sixteenth International World Wide Web
Conference (WWW 2007)},
DATE-ADDED = {2007-01-31 09:47:45 +0000},
DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
TITLE = {Just the Right Amount: Extracting Modules from
Ontologies},
URL = {download/2007/CHKS07a.pdf},
YEAR = {2007},
BDSK-URL-1 = {download/2007/CHKS07a.pdf}
}
@INPROCEEDINGS{CKHS07a,
AUTHOR = {Bernardo {Cuenca Grau} and Yevgeny Kazakov and Ian
Horrocks and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the 20th Int.\ Joint Conf.\ on Artificial
Intelligence (IJCAI~2007)},
DATE-ADDED = {2006-09-24 08:39:30 +0100},
DATE-MODIFIED = {2007-05-02 18:26:39 +0100},
PAGES = {298--303},
TITLE = {A Logical Framework for Modular Integration of
Ontologies},
URL = {download/2007/CKHS07a.pdf},
YEAR = {2007},
BDSK-URL-1 = {download/2007/CKHS07a.pdf}
}
@INPROCEEDINGS{GHLS07a,
AUTHOR = {Birte Glimm and Ian Horrocks and Carsten Lutz and Uli
Sattler},
BOOKTITLE = {Proc.\ of the 20th Int.\ Joint Conf.\ on Artificial
Intelligence (IJCAI~2007)},
DATE-ADDED = {2006-09-22 19:36:54 +0100},
DATE-MODIFIED = {2007-05-02 18:20:53 +0100},
PAGES = {399--404},
TITLE = {Conjunctive Query Answering for the Description Logic
$\mathcal{SHIQ}$},
URL = {download/2007/GHLS07a.pdf},
YEAR = {2007},
BDSK-URL-1 = {download/2007/GHLS07a.pdf}
}
@ARTICLE{HoGS07a,
AUTHOR = {Ian Horrocks and Birte Glimm and Ulrike Sattler},
DATE-ADDED = {2007-05-27 15:12:28 +0100},
DATE-MODIFIED = {2007-05-29 09:20:07 +0100},
JOURNAL = {Electronic Notes in Theoretical Computer Science},
NOTE = {Proceedings of the International Workshop on Hybrid Logic
(HyLo 2006)},
NUMBER = {6},
PAGES = {3--14},
TITLE = {Hybrid Logics and Ontology Languages},
URL = {download/2007/HoGS07a.pdf},
VOLUME = {174},
YEAR = {2007},
BDSK-URL-1 = {download/2007/HoGS07a.pdf}
}
@ARTICLE{PaHo07a,
AUTHOR = {Jeff Pan and Ian Horrocks},
DATE-ADDED = {2006-12-04 20:44:35 +0000},
DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
JOURNAL = {{IEEE} Trans.\ on Knowledge and Data Engineering},
NUMBER = {2},
PAGES = {192--206},
TITLE = {{RDFS(FA)}: Connecting {RDF(S)} and {OWL~DL}},
URL = {download/2007/PaHo07a.pdf},
VOLUME = {19},
YEAR = {2007},
BDSK-URL-1 = {download/2007/PaHo07a.pdf}
}
This file has been generated by
bibtex2html 1.75
|
|
