Skip to main content

Knowledge Representation and Reasoning: Publications

Click here to download all publications in a single bibtex file

@article{kharlamovJWS19,
  title = "An ontology-mediated analytics-aware approach to support monitoring and diagnostics of static and streaming data",
  author = "Evgeny Kharlamov and Yannis Kotidis and Theofilos Mailis and Christian Neuenstadt and Charalampos Nikolaou and Özgür Özçep and Christoforos Svingos and Dmitriy Zheleznyakov and Yannis Ioannidis and Steffen Lamparter and Ralf Möller and Arild Waaler",
  year = "2019",
  journal = "Journal of Web Semantics",
  doi = "10.1016/j.websem.2019.01.001",
}
@article{nikolaouAI19,
  title = "Foundations of Ontology-Based Data Access under Bag Semantics",
  author = "Charalampos Nikolaou and Egor V. Kostylev and George Konstantinidis and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2019",
  journal = "Artificial Intelligence",
  doi = "10.1016/j.artint.2019.02.003",
}
@conference{huAAAI19,
  title = "Modular  Materialisation  of  Datalog  Programs",
  author = "Pan  Hu and Boris  Motik and Ian  Horrocks",
  year = "2019",
  booktitle = "Proceedings of the Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI-19)",
}
@conference{walegaAAAI19,
  title = "Reasoning over  Streaming  Data  in  Metric  Temporal  Datalog",
  author = "Przemyslaw Andrzej Walega and Mark  Kaminski and  Bernardo  Cuenca  Grau",
  year = "2019",
  booktitle = "Proceedings of the Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI-19)",
}
@conference{chenAAAI19,
  title = "ColNet:  Embedding  the  Semantics  of  Web  Tables  for  Column  Type  Prediction",
  author = "Jiaoyan  Chen and Ernesto  Jimenez-­‐Ruiz and Ian  Horrocks and Charles  Sutton",
  year = "2019",
  booktitle = "Proceedings of the Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI-19)",
}
@article{DBLP:journals/jair/BateMGCSH18,
  title = "Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions",
  author = "Andrew Bate and Boris Motik and Bernardo Cuenca Grau and David Tena Cucala and Frantisek Simancik and Ian Horrocks",
  year = "2018",
  journal = "Journal of Artificial Intelligence Research",
  pages = "625--690",
  volume = "63",
  doi = "10.1613/jair.1.11257",
}
@article{DBLP:journals/ai/BenediktGK18,
  title = "Logical foundations of information disclosure in ontology-based data integration",
  author = "Michael Benedikt and Bernardo Cuenca Grau and Egor V. Kostylev",
  year = "2018",
  journal = "Artificial Intelligence",
  pages = "52--95",
  volume = "262",
  doi = "10.1016/j.artint.2018.06.002",
}
@article{DBLP:journals/mst/KaminskiK18,
  title = "Complexity and Expressive Power of Weakly Well-Designed {SPARQL}",
  author = "Mark Kaminski and Egor V. Kostylev",
  year = "2018",
  journal = "Theory Comput. Syst.",
  number = "4",
  pages = "772--809",
  url = "https://doi.org/10.1007/s00224-017-9802-9",
  volume = "62",
  doi = "10.1007/s00224-017-9802-9",
}
@conference{DBLP:conf/kr/RoncaKGH18,
  title = "The Window Validity Problem in Rule-Based Stream Reasoning",
  author = "Alessandro Ronca and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2018",
  booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018.",
  pages = "571--581",
  url = "https://aaai.org/ocs/index.php/KR/KR18/paper/view/18030",
}
@conference{DBLP:conf/kr/ChenLPHC18,
  title = "Knowledge-Based Transfer Learning Explanation",
  author = "Jiaoyan Chen and Freddy L{\'{e}}cu{\'{e}} and Jeff Z. Pan and Ian Horrocks and Huajun Chen",
  year = "2018",
  booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018.",
  pages = "349--358",
}
@inproceedings{DBLP:conf/aaai/RoncaKGMH18,
  title = "Stream Reasoning in Temporal Datalog",
  author = "Alessandro Ronca and Mark Kaminski and Bernardo Cuenca Grau and Boris Motik and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), New Orleans, Louisiana, USA, February 2--7, 2018",
  pages = "1941--1948",
  url = "https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16182",
}
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH18,
  title = "Stratified Negation in Limit Datalog Programs",
  author = "Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden.",
  pages = "1875--1881",
  url = "https://doi.org/10.24963/ijcai.2018/259",
  doi = "10.24963/ijcai.2018/259",
}
@inproceedings{DBLP:conf/aaai/HuMH18,
  title = "Optimised Maintenance of Datalog Materialisations",
  author = "Pan Hu and Boris Motik and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018",
  url = "https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16785",
}
@inproceedings{DBLP:conf/aaai/BenediktMT18,
  title = "Goal-Driven Query Answering for Existential Rules With Equality",
  author = "Michael Benedikt and Boris Motik and Efthymia Tsamoura",
  year = "2018",
  booktitle = "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018",
  url = "https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16927",
}
@inproceedings{DBLP:conf/www/StefanoniMK18,
  title = "Estimating the Cardinality of Conjunctive Queries over {RDF} Data Using Graph Summarisation",
  author = "Giorgio Stefanoni and Boris Motik and Egor V. Kostylev",
  year = "2018",
  booktitle = "Proceedings of the 2018 World Wide Web Conference on World Wide Web, {WWW} 2018, Lyon, France, April 23-27, 2018",
  pages = "1043--1052",
  url = "http://doi.acm.org/10.1145/3178876.3186003",
  doi = "10.1145/3178876.3186003",
}
@inproceedings{DBLP:conf/ijcai/CucalaGH18,
  title = "Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden.",
  pages = "1970--1976",
  url = "https://doi.org/10.24963/ijcai.2018/272",
  doi = "10.24963/ijcai.2018/272",
}
@article{DBLP:journals/tods/KaminskiKG17,
  title = "Query Nesting, Assignment, and Aggregation in {SPARQL} 1.1",
  author = "Mark Kaminski and Egor V. Kostylev and Bernardo Cuenca Grau",
  year = "2017",
  journal = "{ACM} Trans. Database Syst.",
  number = "3",
  pages = "17:1--17:46",
  url = "http://doi.acm.org/10.1145/3083898",
  volume = "42",
  doi = "10.1145/3083898",
}
@inproceedings{DBLP:conf/cikm/KharlamovGSGKH17,
  title = "{SemFacet}: Making Hard Faceted Search Easier",
  author = "Evgeny Kharlamov and Luca Giacomelli and Evgeny Sherkhonov and Bernardo Cuenca Grau and Egor V. Kostylev and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the 2017 {ACM} on Conference on Information and Knowledge Management, {CIKM} 2017, Singapore, November 06 - 10, 2017",
  pages = "2475--2478",
  url = "http://doi.acm.org/10.1145/3132847.3133192",
  doi = "10.1145/3132847.3133192",
}
@inproceedings{DBLP:conf/semweb/KharlamovGSGKH17,
  title = "Ranking, Aggregation, and Reachability in Faceted Search with SemFacet",
  author = "Evgeny Kharlamov and Luca Giacomelli and Evgeny Sherkhonov and Bernardo Cuenca Grau and Egor V. Kostylev and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the {ISWC} 2017 Posters {\&} Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference {(ISWC} 2017), Vienna, Austria, October 23rd - to - 25th, 2017",
  editor = "Nadeschda Nikitina and Dezhao Song and Achille Fokoue and Peter Haase",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-1963",
  volume = "1963",
}
@inproceedings{DBLP:conf/semweb/SherkhonovGKK17,
  title = "Semantic Faceted Search with Aggregation and Recursion",
  author = "Evgeny Sherkhonov and Bernardo Cuenca Grau and Evgeny Kharlamov and Egor V. Kostylev",
  year = "2017",
  booktitle = "The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}",
  editor = "Claudia d'Amato and Miriam Fern{\'{a}}ndez and Valentina A. M. Tamma and Freddy L{\'{e}}cu{\'{e}} and Philippe Cudr{\'{e}}{-}Mauroux and Juan F. Sequeda and Christoph Lange and Jeff Heflin",
  isbn = "978-3-319-68287-7",
  pages = "594--610",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-319-68288-4",
  volume = "10587",
  doi = "10.1007/978-3-319-68288-4",
}
@inproceedings{DBLP:conf/semweb/PetrovaSGH17,
  title = "Entity Comparison in {RDF} Graphs",
  author = "Alina Petrova and Evgeny Sherkhonov and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2017",
  booktitle = "The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}",
  pages = "526--541",
  url = "https://doi.org/10.1007/978-3-319-68288-4_31",
  doi = "10.1007/978-3-319-68288-4_31",
}
@inproceedings{ijcai2017-156,
  title = "Foundations of Declarative Data Analysis Using Limit Datalog Programs",
  author = "Mark Kaminski and Bernardo {Cuenca Grau} and {Egor V.} Kostylev and Boris Motik and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}",
  pages = "1123--1130",
  url = "https://doi.org/10.24963/ijcai.2017/156",
  doi = "10.24963/ijcai.2017/156",
}
@inproceedings{ijcai2017-116,
  title = "Reformulating Queries: Theory and Practice",
  author = "Michael Benedikt and Egor V. Kostylev and Fabio Mogavero and Efthymia Tsamoura",
  year = "2017",
  booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017",
  editor = "Carles Sierra",
  isbn = "978-0-9992411-0-3",
  pages = "837--843",
  publisher = "ijcai.org",
  url = "http://www.ijcai.org/Proceedings/2017/",
  doi = "10.24963/ijcai.2017/116",
}
@inproceedings{DBLP:conf/dlog/CucalaGH17,
  title = "Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017",
  url = "http://ceur-ws.org/Vol-1879/paper35.pdf",
}
@inproceedings{NikolaouIJCAI17,
  title = "The Bag Semantics of Ontology-Based Data Access",
  author = "Charalampos Nikolaou and Egor V. Kostylev and George Konstantinidis and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017",
  editor = "Carles Sierra",
  isbn = "978-0-9992411-0-3",
  pages = "1224--1230",
  publisher = "ijcai.org",
  url = "http://www.ijcai.org/Proceedings/2017/",
  doi = "10.24963/ijcai.2017/170",
}
@inproceedings{ChalkidisESWC17,
  title = "Modeling and Querying Greek Legislation Using Semantic Web Technologies",
  author = "Ilias Chalkidis and Charalampos Nikolaou and Panagiotis Soursos and Manolis Koubarakis",
  year = "2017",
  booktitle = "The Semantic Web - 14th International Conference, {ESWC} 2017, Portoro{\v{z}}, Slovenia, May 28 - June 1, 2017, Proceedings, Part {I}",
  pages = "591--606",
  url = "https://doi.org/10.1007/978-3-319-58068-5_36",
  doi = "10.1007/978-3-319-58068-5_36",
}
@inproceedings{kr2016_negotiation,
  title = "Limiting Logical Violations in Ontology Alignment Through Negotiation",
  author = "Ernesto Jimenez-Ruiz and Terry R. Payne and Alessandro Solimando and Valentina Tamma",
  year = "2016",
  booktitle = "Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR)",
  month = "April",
  publisher = "AAAI Press",
}
@inproceedings{iswc-16-somm-demo,
  title = "SOMM: Industry Oriented Ontology Management Tool",
  author = "Evgeny Kharlamov and Bernardo Cuenca Grau and Ernesto Jimenez-Ruiz and Steffen Lamparter and Gulnar Mehdi and Martin Ringsquandl and Yavor Nenov and Stephan Grimm and Mikhail Roshchin and Ian Horrocks",
  year = "2016",
  booktitle = "Proc. of International Semantic Web Conference (ISWC), Posters and Demonstrations Track",
  month = "October",
  url = "http://www.cs.ox.ac.uk/isg/tools/SOMM/",
}
@inproceedings{iswc16_analytics-aware-obda,
  title = "Towards Analytics Aware Ontology Based Access to Static and Streaming Data",
  author = "Evgeny Kharlamov and Yannis Kotidis and Theofilos Mailis and Christian Neuenstadt and Charalampos Nikolaou and Oezguer Oezcep and Christoforos Svingos and Dmitriy Zheleznyako and, Sebastian Brandt and Ian Horrocks and Yannis Ioannidis and Steffen Lamparter and Ralf Moeller",
  year = "2016",
  booktitle = "Proc. of International Semantic Web Conference (ISWC)",
  month = "October",
}
@inproceedings{iswc16_somm,
  title = "Capturing Industrial Information Models with Ontologies and Constraints",
  author = "Evgeny Kharlamov and Bernardo Cuenca Grau and Ernesto Jimenez-Ruiz and Steffen Lamparter and Gulnar Mehdi and Martin Ringsquandl and Yavor Nenov and Stephan Grimm and Mikhail Roshchin and Ian Horrocks",
  year = "2016",
  booktitle = "Proc. of International Semantic Web Conference (ISWC)",
  month = "October",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/isg/tools/SOMM/",
  volume = "9981",
}
@inproceedings{iswc16_oa,
  title = "User validation in ontology alignment",
  author = "Zlatan Dragisic and Valentina Ivanova and Patrick Lambrix and Daniel Faria and  Ernesto Jimenez-Ruiz and Catia Pesquita",
  year = "2016",
  booktitle = "Proceedings of the International Semantic Web Conference",
  month = "October",
  series = "LNCS",
  volume = "9981",
}
@article{jws-sem-facet,
  title = "Faceted search over RDF-based knowledge graphs",
  author = "Marcelo Arenas and Bernardo Cuenca Grau and Evgeny Kharlamov and Sarunas Marciuska and Dmitriy Zheleznyakov",
  year = "2016",
  booktitle = "Journal of Web Semantics",
  journal = "Journal of Web Semantics",
  pages = "55-74",
  volume = "37",
}
@article{kais_sjg_2016,
  title = "Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation",
  author = "Alessandro Solimando and Ernesto Jimenez-Ruiz and Giovanna Guerrini",
  year = "2016",
  journal = "Knowledge and Information Systems",
  publisher = "Springer",
  url = "https://github.com/asolimando/logmap-conservativity/",
  doi = "10.1007/s10115-016-0983-3",
}
@article{ia_ore2016,
  title = "Pushing the limits of OWL 2 reasoners in ontology alignment repair problems",
  author = "Alessandro Solimando and Ernesto Jimenez-Ruiz and Giovanna Guerrini",
  year = "2016",
  journal = "Intelligenza Artificiale",
  number = "1",
  pages = "1-18",
  publisher = "IOS Press",
  url = "http://content.iospress.com/articles/intelligenza-artificiale/ia091",
  volume = "10",
  doi = "10.3233/IA-160091",
}
@article{uasi2016,
  title = "Ontology-based End-user Visual Query Formulation: Why, what, who, how, and which?",
  author = "Ahmet Soylu and Martin Giese and Ernesto Jimenez-Ruiz and Evgeny Kharlamov and Dmitriy Zheleznyakov and Ian Horrocks",
  year = "2016",
  journal = "Universal Access in the Information Society",
  volume = "(in press)",
}
@article{uasi2015,
  title = "Experiencing OptiqueVQS: a multi-paradigm and ontology-based visual query system for end users",
  author = "Ahmet Soylu and Martin Giese and Ernesto Jiménez-Ruiz and Guillermo Vega-Gorgojo and Ian Horrocks",
  year = "2016",
  journal = "Universal Access in the Information Society",
  pages = "129-152",
  volume = "15",
}
@inproceedings{debs2016,
  title = "Enabling Semantic Access to Static and Streaming Distributed Data with Optique: Demo",
  author = "Evgeny Kharlamov and Sebastian Brandt and Martin Giese and Ernesto Jim{\'{e}}nez{-}Ruiz and Yannis Kotidis and Steffen Lamparter and Theofilos Mailis and Christian Neuenstadt and {\"{O}}zg{\"{u}}r L. {\"{O}}z{\c{c}}ep and Christoph Pinkel and Ahmet Soylu and Christoforos Svingos and Dmitriy Zheleznyakov and Ian Horrocks and Yannis E. Ioannidis and Ralf M{\"{o}}ller and Arild Waaler",
  year = "2016",
  booktitle = "Proc. International Conference on Distributed and Event-based Systems (DEBS)",
  pages = "350--353",
}
@inproceedings{sigmod2016,
  title = "Ontology-Based Integration of Streaming and Static Relational Data with Optique",
  author = "Evgeny Kharlamov and Sebastian Brandt and Ernesto Jim{\'{e}}nez{-}Ruiz and Yannis Kotidis and Steffen Lamparter and Theofilos Mailis and Christian Neuenstadt and {\"{O}}zg{\"{u}}r L. {\"{O}}z{\c{c}}ep and Christoph Pinkel and Christoforos Svingos and Dmitriy Zheleznyakov and Ian Horrocks and Yannis E. Ioannidis and Ralf M{\"{o}}ller",
  year = "2016",
  booktitle = "Proc. of International Conference on Management Data (SIGMOD)",
  pages = "2109--2112",
}
@inproceedings{labels2016,
  title = "Towards the Semantic Enrichment of Free-text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans",
  author = "Valentina Carapella and Ernesto Jimenez-Ruiz and Elena Lukaschuk and Nay Aung and Kenneth Fung and Jose Paiva and Mihir Sanghvi and Stefan Neubauer and Steffen Petersen and Ian Horrocks and Stefan Piechnik",
  year = "2016",
  booktitle = "MICCAI Workshop on Large-scale Annotation of Biomedical data and Expert Label Synthesis (LABELS)",
}
@inproceedings{BateMGSH16,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SRIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Frantisek Simancik and Ian Horrocks",
  year = "2016",
  booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference",
  editor = "Chitta Baral and James P. Delgrande and Frank Wolter",
  pages = "187--196",
  publisher = "{AAAI} Press",
}
@inproceedings{BMGSH15b,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SHIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Franti{\v{s}}ek Siman{\v{c}\'{i}}k and Ian Horrocks",
  year = "2015",
  booktitle = "{Proceedings of the 28th International Workshop on Description Logics}",
  editor = "Diego Calvanese and Boris Konev",
  month = "6",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "1350",
}
@techreport{BMGSH15a,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SHIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Franti{\v{s}}ek Siman{\v{c}\'{i}}k and Ian Horrocks",
  year = "2015",
  institution = "Department of Computer Science, University of Oxford",
  month = "6",
}
@article{DBLP:journals/computer/GieseSVWHJLRXOR15,
  title = "Optique: Zooming in on Big Data",
  author = "Martin Giese and Ahmet Soylu and Guillermo Vega{-}Gorgojo and Arild Waaler and Peter Haase and Ernesto Jim{\'{e}}nez{-}Ruiz and Davide Lanti and Mart{\'{\i}}n Rezk and Guohui Xiao and {\"{O}}zg{\"{u}}r L. {\"{O}}z{\c{c}}ep and Riccardo Rosati",
  year = "2015",
  journal = "{IEEE} Computer",
  number = "3",
  pages = "60--67",
  url = "http://dx.doi.org/10.1109/MC.2015.82",
  volume = "48",
  doi = "10.1109/MC.2015.82",
}
@inproceedings{iswc15-statoil,
  title = "Ontology Based Access to Exploration Data at Statoil",
  author = "Evgeny Kharlamov and Dag Hovland and Ernesto Jimenez-Ruiz and Davide Lanti and Hallstein Lie and Christoph Pinkel and Martin Rezk and Martin G. Skj{\ae}veland and Evgenij Thorstensen and Guohui Xiao and Dmitriy Zheleznyakov and Ian Horrocks",
  year = "2015",
  booktitle = "Proc. of International Semantic Web Conference (ISWC)",
}
@inproceedings{bootox_iswc_2015,
  title = "BootOX: Practical Mapping of RDBs to OWL 2",
  author = "Ernesto Jimenez-Ruiz and Evgeny Kharlamov and Dmitriy Zheleznyakov and Ian Horrocks and Christoph Pinkel and Martin G. Skj{\ae}veland and Evgenij Thorstensen and Jose Mora",
  year = "2015",
  booktitle = "Proc. of International Semantic Web Conference (ISWC)",
  url = "http://www.cs.ox.ac.uk/isg/tools/BootOX/",
}
@inproceedings{DBLP:conf/esws/PinkelBJMRSSK15,
  title = "{RODI:} {A} Benchmark for Automatic Mapping Generation in Relational-to-Ontology Data Integration",
  author = "Christoph Pinkel and Carsten Binnig and Ernesto Jim{\'{e}}nez{-}Ruiz and Wolfgang May and Dominique Ritze and Martin G. Skj{\ae}veland and Alessandro Solimando and Evgeny Kharlamov",
  year = "2015",
  booktitle = "The Semantic Web. Latest Advances and New Domains - 12th European Semantic Web Conference, {ESWC} 2015, Portoroz, Slovenia, May 31 - June 4, 2015. Proceedings",
  pages = "21--37",
  url = "http://dx.doi.org/10.1007/978-3-319-18818-8_2",
  doi = "10.1007/978-3-319-18818-8_2",
}
@inproceedings{iswc2014_bioportal,
  title = "Towards annotating potential incoherences in BioPortal mappings",
  author = "Daniel Faria and Ernesto Jiménez-Ruiz and Catia Pesquita and Emanuel Santos and Francisco M. Couto",
  year = "2014",
  booktitle = "International Semantic Web Conference",
  month = "October",
  volume = "LNCS 8797",
}
@inproceedings{iswc2014_conservativity,
  title = "Detecting and Correcting Conservativity Principle Violations in Ontology-to-Ontology Mappings",
  author = "Alessandro Solimando and Ernesto Jimenez-Ruiz and Giovanna Guerrini",
  year = "2014",
  booktitle = "International Semantic Web Conference",
  month = "October",
  pages = "1-16",
  volume = "LNCS 8797",
}
@inproceedings{DL2014-CQE,
  title = "Controlled Query Evaluation over Lightweight Ontologies",
  author = "Bernardo Cuenca Grau and Evgeny Kharlamov and Egor Kostylev and Dmitriy Zheleznyakov",
  year = "2014",
  booktitle = "Proc. of the International Workshop on Description Logics (DL)",
  pages = "141-152",
}
@conference{SemfacetWWW2014,
  title = "SemFacet: Semantic Faceted Search over Yago",
  author = "Bernardo Cuenca Grau and Evgeny Kharlamov and Sarunas Marciuska and Dmitriy Zheleznyakov and Marcelo Arenas and Ernesto Jimenez-Ruiz",
  year = "2014",
  booktitle = "WWW Demo",
  note = "\url{http://www.cs.ox.ac.uk/isg/tools/SemFacet/}",
  pages = "123-126",
  url = "https://www.youtube.com/watch?v=n_uEDsTJ2KU",
}
@conference{KroMH-LPNMR2013,
  title = "Concrete Results on Abstract Rules",
  author = "Markus Krötzsch and Despoina Magka and Ian Horrocks",
  year = "2013",
  booktitle = "Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning",
  location = "Corunna",
  month = "September",
}
@inproceedings{MaKH-IJCAI2013,
  title = "Computing Stable Models for Nonmonotonic Existential Rules",
  author = "Despoina Magka and Markus Krötzsch and Ian Horrocks",
  year = "2013",
  booktitle = "Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)",
  location = "Beijing, China",
  month = "August",
}
@conference{dl2013_mapping_repair,
  title = "Evaluating Mapping Repair Systems with Large Biomedical Ontologies",
  author = "Ernesto Jiménez-Ruiz and Christian Meilicke and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2013",
  booktitle = "26th International Workshop on Description Logics",
  month = "July",
}
@conference{optique_mtsr2013,
  title = "A Preliminary Approach on Ontology-Based Visual Query Formulation for Big Data",
  author = "Ahmet Soylu, Martin G. Skjæveland, Martin Giese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov",
  year = "2013",
  booktitle = "7th Research Conference on Metadata and Semantics Research (MTSR)",
  month = "November",
  note = "Acceptance rate: 32%",
  pages = "201-212",
  publisher = "Springer",
  series = "Communications in Computer and Information Science",
  volume = "390",
}
@conference{optique_medes2013,
  title = "OptiqueVQS: towards an ontology-based visual query system for big data",
  author = "Ahmet Soylu and Martin Giese and Ernesto Jiménez-Ruiz and Evgeny Kharlamov and Dmitriy Zheleznyakov and Ian Horrocks",
  year = "2013",
  booktitle = "Fifth International Conference on Management of Emergent Digital EcoSystems (MEDES)",
  month = "October",
  pages = "119-126",
  publisher = "ACM",
}
@article{KharlamovZhCjcss2013,
  title = "{Capturing Model-Based Ontology Evolution at the Instance Level: The Case of DL-Lite}",
  author = "Evgeny Kharlamov and Dmitriy Zheleznyakov and Diego Calvanese",
  year = "2013",
  journal = "Journal of Computer and System Sciences (JCSS)",
  number = "6",
  pages = "835 - 872",
  volume = "79",
}
@inproceedings{CalvaneseKMSZijcai2013kab,
  title = "{On Inconsistency-Aware Knowledge and Action Bases: Semantics and Verification}",
  author = "Diego Calvanese and Evgeny Kharlamov and Marco Montali and Ario Santoso and Dmitry Zheleznyakov",
  year = "2013",
  booktitle = "Proc.\ of International Joint Conference on Artificial Intelligence (IJCAI)",
  note = "Acceptance rate: 28%",
  pages = "810-816",
}
@inproceedings{owled_wp7,
  title = "{Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper)}",
  author = "Herald Kllapi and Dimitris Bilidas and Ian Horrocks and Yannis Ioannidis and Ernesto Jim\'{e}nez-Ruiz and Evgeny Kharlamov and Manolis Koubarakis and Dmitriy Zheleznyakov",
  year = "2013",
  booktitle = "OWL Experiences and Directions Workshop (OWLED)",
}
@inproceedings{kwnolod_wp5,
  title = "{Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach (Statement of Interest)}",
  author = "Ian Horrocks and Thomas Hubauer and Ernesto Jim\'{e}nez-Ruiz and Evgeny Kharlamov and Manolis Koubarakis and Ralf M\"oller and Konstantina Bereta and Christian Neuenstadt and \"Ozg\"ur \"Oz\c{c}ep and Mikhail Roshchin and Panayiotis Smeros and Dmitriy Zheleznyakov",
  year = "2013",
  booktitle = "Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data (Know@LOD)",
}
@inproceedings{owled_wp6,
  title = "{On Rewriting and Answering Queries in OBDA Systems for Big Data (Short Paper)}",
  author = "Diego Calvanese and Ian Horrocks and Ernesto Jim\'{e}nez-Ruiz and Evgeny Kharlamov and Michael Meier and Mariano Rodriguez-Muro and Dmitriy Zheleznyakov",
  year = "2013",
  booktitle = "OWL Experiences and Directions Workshop (OWLED)",
}
@inproceedings{wodoom_wp4,
  title = "{Optique System: Towards Ontology and Mapping Management in OBDA Solutions}",
  author = "Peter Haase and Ian Horrocks and Dag Hovland and Thomas Hubauer and Ernesto Jim{\'e}nez-Ruiz and Evgeny Kharlamov and Johan Kl{\"u}wer and Christoph Pinkel and Riccardo Rosati and Valerio Santarelli and Ahmet Soylu and Dmitriy Zheleznyakov",
  year = "2013",
  booktitle = "Workshop on Debugging Ontologies and Ontology Mappings (WoDOOM)",
}
@inproceedings{eswc_wp2,
  title = "{Optique: OBDA Solution for Big Data}",
  author = "D. Calvanese and M. Giese and P. Haase and I. Horrocks and T. Hubauer and Y. Ioannidis and E. Jim\'{e}nez-Ruiz and E. Kharlamov and H. Kllapi and J. Kl\"uwer and M. Koubarakis and S. Lamparter and R. M\"oller and C. Neuenstadt and T. Nordtveit and \"O. \"Ozcep and M. Ro\-driguez-Muro and M. Roshchin and Marco Ruzzi and F. Savo and M. Schmidt and A. Soylu and D. Zheleznyakov",
  year = "2013",
  booktitle = "Poster track of the Extended Semantic Web Conference",
}
@inproceedings{owled_wp2,
  title = "{The Optique Project: Towards OBDA Systems for Industry (Short Paper)}",
  author = "D. Calvanese and M. Giese and P. Haase and I. Horrocks and T. Hubauer and Y. Ioannidis and E. Jim\'{e}nez-Ruiz and E. Kharlamov and H. Kllapi and J. Kl\"uwer and M. Koubarakis and S. Lamparter and R. M\"oller and C. Neuenstadt and T. Nordtveit and \"O. \"Ozcep and M. Ro\-driguez-Muro and M. Roshchin and Marco Ruzzi and F. Savo and M. Schmidt and A. Soylu and A. Waaler and D. Zheleznyakov",
  year = "2013",
  booktitle = "OWL Experiences and Directions Workshop (OWLED)",
}
@inproceedings{owled_wp3,
  title = "{Towards Query Formulation and Query-Driven Ontology Extensions in OBDA}",
  author = "Bernardo Cuenca Grau and Martin Giese and Ian Horrocks and Thomas Hubauer and Ernesto Jim\'{e}nez-Ruiz and Evgeny Kharlamov and Michael Schmidt and Ahmet Soylu and Dmitriy Zheleznyakov",
  year = "2013",
  booktitle = "OWL Experiences and Directions Workshop (OWLED)",
}
@conference{logmap_elkr2012,
  title = "Exploiting the UMLS Metathesaurus in the Ontology Alignment Evaluation Initiative",
  author = "Ernesto Jimenez-Ruiz and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2012",
  booktitle = "2nd International Workshop on Exploiting Large Knowledge Repositories (E-LKR)",
  location = "Castellon",
  month = "September",
  publisher = "CEUR-WS.org",
}
@inproceedings{AAAI-2012-benchmarking,
  title = "Benchmarking Ontology-based Query Rewriting Systems",
  author = "Martha Imprialou and Giorgos Stoilos and Bernardo Cuenca Grau",
  year = "2012",
  booktitle = "Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2012)",
  location = "Toronto (Canada)",
  month = "July",
  publisher = "AAAI Press",
}
@inproceedings{MaMHDL12,
  title = "Modelling Structured Domains Using Description Graphs and Logic Programming.",
  author = "Despoina Magka and Boris Motik and Ian Horrocks",
  year = "2012",
  booktitle = "Proceedings of the The 25th International Workshop on Description Logics (DL 2012)",
  location = "Rome, Italy",
  month = "June",
  publisher = "CEUR",
  volume = "846",
}
@conference{MaMHESWC12,,
  title = "Modelling Structured Domains Using Description Graphs and Logic Programming.",
  author = "Despoina Magka and Boris Motik and Ian Horrocks",
  year = "2012",
  booktitle = "Proceedings of the 9th Extended Semantic Web Conference (ESWC 2012)",
  location = "Heraklion, Greece",
  month = "June",
  publisher = "Springer",
  volume = "7925",
}
@inproceedings{AMW-2012,
  title = "Ontology Contraction: Beyond Propositional Paradise",
  author = "Bernardo Cuenca Grau and Evgeny Kharlamov and Dmitriy Zheleznyakov",
  year = "2012",
  booktitle = "Proceedings of the 6th AMW Workshop on Data Management",
  month = "June",
}
@inproceedings{DL-12-modular,
  title = "Modular Combination of Reasoners for Ontology Classification",
  author = "Ana Armas Romero‚ Bernardo Cuenca Grau and Ian Horrocks",
  year = "2012",
  booktitle = "Proceedings of the 25th International Workshop on Description Logics (DL 2012)",
  location = "Rome, Italy",
  month = "June",
}
@inproceedings{MaMHOWLED12,
  title = "Classifying Chemicals Using Description Graphs and Logic Programming",
  author = "Despoina Magka and Boris Motik and Ian Horrocks",
  year = "2012",
  booktitle = "Proceedings of the 9th OWL: Experiences and Directions Workshop (OWLED 2012)",
  location = "Heraklion, Greece",
  month = "May",
  publisher = "CEUR-WS.org",
  volume = "849",
}
@inproceedings{MagkaSWAT4LS12,
  title = "Ontology-Based Classification of Molecules: a Logic Programming Approach",
  author = "Despoina Magka",
  year = "2012",
  booktitle = "Proceedings of the 5th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2012)",
  month = "November",
  note = "Best paper prize",
}
@conference{oaei2012,
  title = "LogMap and LogMapLt results for OAEI 2012",
  author = "Ernesto Jiménez-Ruiz and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2012",
  booktitle = "The Seventh International Workshop on Ontology Matching (OM)",
  month = "November",
  url = "http://www.dit.unitn.it/~p2p/OM-2012/oaei12_paper6.pdf",
}
@article{HaMaBDStevESteinJChem12,
  title = "Structure-based classification and ontology in chemistry",
  author = "Janna Hastings and Despoina Magka and Colin Batchelor and Lian Duan and Robert Stevens and Marcus Ennis and Christoph Steinbeck",
  year = "2012",
  booktitle = "Journal of Cheminformatics",
  journal = "Journal of Cheminformatics",
  number = "8",
  volume = "4",
}
@article{JAIR-completeness-2012,
  title = "Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice",
  author = "Bernardo Cuenca Grau and Boris Motik and Giorgos Stoilos and Ian Horrocks",
  year = "2012",
  journal = "Journal of Artificial Intelligence Research (JAIR)",
  pages = "419-476",
  volume = "43",
}
@article{GHMS11a,
  title = "A Novel Approach to Ontology Classification",
  author = "Birte Glimm and Ian Horrocks and Boris Motik and Rob Shearer and Giorgos Stoilos",
  year = "2012",
  journal = "Journal of Web Semantics: Science, Services and Agents on the World Wide Web, Accepted",
}
@inproceedings{KR-2012-acyclicity,
  title = "Acyclicity Conditions and their Application to Query Answering in Description Logics",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Markus Kroetsch and Clemens Kupke and Despoina Magka and Boris Motik and Zhe Wang",
  year = "2012",
  booktitle = "Proceedings of the 13th  International Conference on Principles of Knowledge Representation and  Reasoning (KR 2012)",
  location = "Rome, Italy",
  note = "Accepted for Publication",
}
@inproceedings{DL-12-Approx,
  title = "Efficient Upper Bound Computation of Query Answers in Expressive Description Logics",
  author = "Yujiao Zhou and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2012",
  booktitle = "Proceedings of the 25th International Workshop on Description Logics (DL 2012)",
  location = "Rome, Italy",
  publisher = "CEUR",
}
@conference{logmap_ore2012,
  title = "On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems",
  author = "Ernesto Jimenez Ruiz and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2012",
  booktitle = "OWL Reasoner Evaluation Workshop (ORE)",
  location = "Manchester, UK",
}
@conference{logma_ecai2012,
  title = "Large-scale Interactive Ontology Matching: Algorithms and Implementation",
  author = "Ernesto Jimenez Ruiz and Bernardo Cuenca Grau and Yujiao Zhou and Ian Horrocks",
  year = "2012",
  booktitle = "Proceedings of the 20th European Conference on Artificial Intelligence (ECAI)",
  location = "Montpellier, France",
  pages = "444-449",
  publisher = "IOS Press",
  doi = "doi:10.3233/978-1-61499-098-7-444",
}
@inproceedings{MaMHSWAT4LS11,
  title = "Chemical Knowledge Representation with Description Graphs and Logic Programming",
  author = "Despoina Magka and Boris Motik and Ian Horrocks",
  year = "2011",
  booktitle = "Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2011)",
  location = "London, UK",
  month = "December",
  pages = "74-75",
  publisher = "ACM",
}
@inproceedings{DBLP:conf/semweb/Jimenez-RuizG11,
  title = "LogMap: Logic-Based and Scalable Ontology Matching",
  author = "Ernesto Jim{\'e}nez-Ruiz and Bernardo Cuenca Grau",
  year = "2011",
  booktitle = "International Semantic Web Conference (ISWC)",
  month = "October",
  pages = "273-288",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.cs.ox.ac.uk/isg/projects/LogMap/papers/paper_ISWC2011.pdf",
  volume = "7031",
}
@article{DKE2010,
  title = "Supporting concurrent ontology development: Framework, algorithms and tool",
  author = "Ernesto Jimenez Ruiz and Bernardo Cuenca Grau and Ian Horrocks and Rafael Berlanga",
  year = "2011",
  journal = "Data and Knowledge Engineering",
  month = "January",
  publisher = "Elsevier",
  url = "http://krono.act.uji.es/people/Ernesto/contentcvs/paperDKE-DATAK-1291.pdf",
  volume = "70:1",
}
@article{MaKHJAR2011,
  title = "Tractable Extensions of the Description Logic EL with Numerical Datatypes",
  author = "Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks",
  year = "2011",
  booktitle = "Journal of Automated Reasoning",
  journal = "Journal of Automated Reasoning",
  number = "4",
  pages = "427--450",
  volume = "47",
}
@article{doi:10.1080/13875868.2010.545611,
  title = "Describing Images Using Qualitative Models and Description Logics",
  author = "Falomir, Zoe and Jiménez-Ruiz, Ernesto and Escrig, M. Teresa and Museros, Lledó",
  year = "2011",
  journal = "Spatial Cognition & Computation",
  number = "1",
  pages = "45-74",
  url = "http://krono.act.uji.es/people/Ernesto/qimage-ontology/paperJSCC-preprintNov2010.pdf/view",
  volume = "11",
  doi = "10.1080/13875868.2010.545611",
}
@article{BMC2011,
  title = "Logic-based Assessment of the Compatibility of UMLS Ontology Sources",
  author = "Ernesto Jimenez Ruiz and Bernardo Cuenca Grau and Ian Horrocks and Rafael Berlanga",
  year = "2011",
  issn = "1613-0073",
  journal = "BMC Journal of Biomedical Semantics",
  publisher = "BMC",
  url = "http://www.jbiomedsem.com/content/2/S1/S2",
  volume = "2",
  doi = "doi:10.1186/2041-1480-2-S1-S2",
}
@inproceedings{ijcai/KontchakovNPZ11,
  title = "On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces",
  author = "Roman Kontchakov and Yavor Nenov and Ian Pratt{-}Hartmann and Michael Zakharyaschev",
  year = "2011",
  booktitle = "{IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011",
  pages = "957--962",
}
@inproceedings{DBLP:conf/dlog/CalvaneseOSS11,
  title = "The Complexity of Conjunctive Query Abduction in DL-Lite",
  author = "Diego Calvanese and Magdalena Ortiz and Mantas Simkus and Giorgio Stefanoni",
  year = "2011",
  booktitle = "Proceedings of the 24th International Workshop on Description Logics",
  url = "http://ceur-ws.org/Vol-745/paper_49.pdf",
}
@inproceedings{logmapoaei2011,
  title = "{LogMap} results for {OAEI} 2011",
  author = "Jim{\'e}nez-Ruiz, E. and Morant, A. and Cuenca Grau, B.",
  year = "2011",
  booktitle = "Proc. of the 6th International Workshop on Ontology Matching (OM)",
  note = "http://ceur-ws.org/Vol-814/",
  publisher = "CEUR Workshop Proceedings (CEUR-WS.org)",
  url = "http://ceur-ws.org/Vol-814/",
  volume = "814",
}
@inproceedings{posteroaei2011,
  title = "Towards more challenging problems for ontology matching tools",
  author = "Jim{\'e}nez-Ruiz, E. and Cuenca Grau, B.",
  year = "2011",
  booktitle = "Proc. of the 6th International Workshop on Ontology Matching (OM)",
  publisher = "CEUR Workshop Proceedings (CEUR-WS.org)",
  url = "http://ceur-ws.org/Vol-814/",
  volume = "814",
}
@inproceedings{GlKL11b,
  title = "Status QIO: An Update",
  author = "Birte Glimm and Yevgeny Kazakov and Carsten Lutz",
  year = "2011",
  booktitle = "Proceedings of the 2011 International Workshop on Description Logic (DL 2011)",
  note = "To Appear",
  publisher = "CEUR Workshop Proceedings",
}
@inproceedings{KoGH11a,
  title = "SPARQL Query Answering over OWL Ontologies",
  author = "Ilianna Kollia and Birte Glimm and Ian Horrocks",
  year = "2011",
  booktitle = "Proceedings of the 8th Extended Semantic Web Conference (ESWC 2011)",
  note = "To Appear",
  publisher = "Springer Verlag",
  series = "LNCS",
}
@inproceedings{NiRG11a,
  title = "Reasoning-Supported Interactive Revision of Knowledge Bases",
  author = "Nadeschda Nikitina and Sebastian Rudolph and Birte Glimm",
  year = "2011",
  booktitle = "Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)",
  note = "To Appear",
  publisher = "AAAI Press/The MIT Press",
}
@inproceedings{GlKL11b,
  title = "Reasoning-Supported Interactive Revision of Knowledge Bases",
  author = "Nadeschda Nikitina and Sebastian Rudolph and Birte Glimm",
  year = "2011",
  booktitle = "Proceedings of the 2011 International Workshop on Description Logic (DL 2011)",
  note = "To Appear",
}
@inproceedings{KoGH11b,
  title = "Query Answering over SROIQ Knowledge Bases with SPARQL",
  author = "Ilianna Kollia and Birte Glimm and Ian Horrocks",
  year = "2011",
  booktitle = "Proceedings of the 2011 International Workshop on Description Logic (DL 2011)",
  note = "To Appear",
}
@inproceedings{KoGH11c,
  title = "Answering Queries over OWL Ontologies with SPARQL",
  author = "Ilianna Kollia and Birte Glimm and Ian Horrocks",
  year = "2011",
  booktitle = "Proceedings of the 8th International Workshop on OWL: Experiences and Directions  (OWLED 2011)",
}
@inproceedings{IJCAI2011,
  title = "What to ask to an incomplete Semantic Web reasoner?",
  author = "Bernardo Cuenca Grau and Giorgos Stoilos",
  year = "2011",
  booktitle = "Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011)",
  pages = "2226-2231",
}
@techreport{KazKroSim:11:Concurrent:TR,
  title = "Concurrent Classification of EL Ontologies",
  author = "Yevgeny Kazakov and Markus Krötzsch and František Simančík",
  year = "2011",
}
@techreport{GlKL11a,
  title = "Status QIO: An Update",
  author = "Birte Glimm and Yevgeny Kazakov and Carsten Lutz",
  year = "2011",
  institution = "The University of Oxford",
}
@techreport{GlRV10b,
  title = "Integrated Metamodeling and Diagnosis in OWL 2",
  author = "Birte Glimm and Sebastian Rudolph and Johanna Völker",
  year = "2010",
  institution = "Institut AIFB, KIT",
  month = "September",
  note = "Technical Report",
  number = "3006",
}
@article{JarIncremental09,
  title = "Incremental Classification of Description Logics Ontologies",
  author = "Bernardo Cuenca Grau and Christian Halaschek-Wiener and Yevgeny Kazakov and Boontawee Suntisrivaraporn",
  year = "2010",
  journal = "Journal of Automated Reasoning (JAR)",
  location = "The Netherlands",
  month = "April",
  number = "4",
  pages = "337-369",
  publisher = "Springer",
  volume = "44",
  doi = "10.1007/s10817-009-9159-0",
}
@inbook{shvaiko2010a,
  title = "Semantic Matching with S-Match",
  author = "Pavel Shvaiko and Fausto Giunchiglia and Mikalai Yatskevich",
  year = "2010",
  booktitle = "Semantic Web Information Management: Model-Based perspective",
  pages = "183-202",
  volume = "Part 2",
}
@article{conf/csl/NenovP10,
  title = "On the Computability of Region-Based Euclidean Logics",
  author = "Yavor Nenov and Ian Pratt-Hartmann",
  year = "2010",
  journal = "Conference for Computer Science Logic",
}
@article{StoilosIJAI2010,
  title = "Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics",
  author = "Giorgos Stoilos, Giorgos Stamou, Jeff Z. Pan",
  year = "2010",
  journal = "International Journal of Approximate Reasoning",
  doi = "10.1016/j.ijar.2010.01.005",
}
@article{CueHalKazSun:10:Incremental:JAR,
  title = "Incremental Classification of Description Logics Ontologies",
  author = "Cuenca Grau and Bernardo and Halaschek-Wiener, Christian and Kazakov, Yevgeny and Suntisrivaraporn, Boontawee",
  year = "2010",
  journal = "Journal of Automated Reasoning",
  number = "4",
  pages = "337-369",
  volume = "44",
}
@article{RuGl10a,
  title = "Nominals, Inverses, Counting, and Conjunctive Queries",
  author = "Sebastian Rudolph and Birte Glimm",
  year = "2010",
  journal = "Journal of Artificial Intelligence Research",
  note = "To Appear",
  pages = "429-481",
  volume = "39",
}
@inproceedings{csl/NenovP10,
  title = "On the Computability of Region-Based Euclidean Logics",
  author = "Yavor Nenov and Ian Pratt-Hartmann",
  year = "2010",
  booktitle = "CSL",
  pages = "439-453",
}
@inproceedings{yatskevich2010a,
  title = "Beazley: a new storage systems evaluation",
  author = "Mikalai Yatskevich and Ian Horrocks and Graham Klyne",
  year = "2010",
  booktitle = "Proceedings of the International Workshop on Evaluation of Semantic Technologies (IWEST 2010)",
}
@inproceedings{NDR-IJCAR,
  title = "Tractable Extensions of the Description Logic {EL} with Numerical Datatypes",
  author = "Despoina Magka and Yevgeny Kazakov and Ian Horrocks",
  year = "2010",
  booktitle = "In Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)",
  publisher = "Springer",
  series = "LNCS",
}
@inproceedings{MagKazHor:10:NDR:DL,
  title = "Tractable Extensions of the Description Logic {EL} with Numerical Datatypes",
  author = "Despoina Magka and Yevgeny Kazakov and Ian Horrocks",
  year = "2010",
  booktitle = "Description Logics",
  edition = "Volker Haarslev, David Toman, and Grant Weddell",
  publisher = "CEUR-WS.org",
  series = "CEUR Workshop Proceedings",
  url = "http://CEUR-WS.org/Vol-573/paper_29.pdf",
  volume = "573",
}
@inproceedings{Regularity-IJCAR,
  title = "An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ",
  author = "Yevgeny Kazakov",
  year = "2010",
  annote = "To appear",
  booktitle = "Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010)",
  publisher = "Springer",
  series = "LNCS",
}
@inproceedings{GlKr10a,
  title = "SPARQL Beyond Subgraph Matching",
  author = "Birte Glimm and Markus Krötzsch",
  year = "2010",
  booktitle = "Proceedings of the 9th International Semantic Web Conference (ISWC 2010)",
  pages = "241-256",
  publisher = "Springer Verlag",
  series = "LNCS",
  volume = "6496",
}
@inproceedings{GlRV10a,
  title = "Integrated Metamodeling and Diagnosis in OWL 2",
  author = "Birte Glimm and Sebastian Rudolph and Johanna Völker",
  year = "2010",
  booktitle = "Proceedings of the 9th International Semantic Web Conference (ISWC 2010)",
  pages = "257-272",
  publisher = "Springer Verlag",
  series = "LNCS",
  volume = "6496",
}
@inproceedings{GlRu10a,
  title = "Status QIO: Conjunctive Query Entailment is Decidable",
  author = "Birte Glimm and Sebastian Rudolph",
  year = "2010",
  booktitle = "Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10)",
  publisher = "AAAI Press/The MIT Press",
}
@inproceedings{GlHM10b,
  title = "Optimized DL Reasoning via Core Blocking",
  author = "Birte Glimmand Ian Horrocks and Boris Motik",
  year = "2010",
  booktitle = "Proceedings of the 2010 Description Logic Workshop (DL 2010)",
  pages = "209-219",
  publisher = "CEUR",
  volume = "573",
}
@inproceedings{GlHM10c,
  title = "Optimized Description Logic Reasoning via Core Blocking",
  author = "Birte Glimm and Ian Horrocks and Boris Motik",
  year = "2010",
  booktitle = "Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010)",
}
@inproceedings{GHMS10a,
  title = "Optimising Ontology Classification",
  author = "Birte Glimm and Ian Horrocks and Boris Motik and Giorgos Stoilos",
  year = "2010",
  booktitle = "Proceedings of the 9th International Semantic Web Conference (ISWC 2010)",
  pages = "225-240",
  publisher = "Springer Verlag",
  series = "LNCS",
  volume = "6496",
}
@inproceedings{KR2010,
  title = "Pushing the Limits of Reasoning over Ontologies with Hidden Content",
  author = "Bernardo Cuenca Grau and Boris Motik",
  year = "2010",
  booktitle = "Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010)",
  location = "Toronto, Canada",
  pages = "214-224",
  publisher = "AAAI Press",
  url = "http://www.comlab.ox.ac.uk/people/Boris.Motik/pubs/gm10pushing-ibq.pdf",
}
@inproceedings{AAAI2010,
  title = "How Incomplete is your Semantic Web Reasoner?",
  author = "Giorgos Stoilos and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2010",
  booktitle = "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010)",
  note = "Outstanding Paper Award Winner",
  pages = "1431-1436",
  publisher = "AAAI Press",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2010/StCH10a.pdf",
}
@inproceedings{ISWC-2010,
  title = "Completeness Guarantees for Incomplete Reasoners",
  author = "Giorgos Stoilos and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2010",
  booktitle = "Proceedings of the Ninth International Semantic Web Conference (ISWC 2010)",
  location = "Shanghai, China",
  publisher = "Springer",
  series = "LNCS",
}
@techreport{GlHM10a,
  title = "Optimized DL Reasoning via Core Blocking",
  author = "Birte Glimm and Ian Horrocks and Boris Motik",
  year = "2010",
  institution = "Oxford University Computing Laboratory",
  note = "Technical Report",
}
@techreport{GHMS10b,
  title = "Optimising Ontology Classification",
  author = "Birte Glimm and Ian Horrocks and Boris Motik and Giorgos Stoilos",
  year = "2010",
  institution = "Oxford University Computing Laboratory",
  note = "Technical Report",
}
@phdthesis{PhDErnesto,
  title = "Logic-based support for Ontology Development in Open Environments",
  author = "Ernesto Jimenez-Ruiz",
  year = "2010",
  isbn = "978-84-693-6343-0",
  keywords = "knowledge representation, ontology, thesaurus, OWL, description logics, ontology integration, ontology modularization, concurrent ontology development",
  pages = "154",
  url = "http://www.tdx.cat/handle/10803/10493",
}
@inproceedings{hmpuDL09,
  title = "{A Comparison of Query Rewriting Techniques for DL-Lite}",
  author = "H\'ector P\'erez-Urbina and Boris Motik and Ian Horrocks",
  year = "2009",
  address = "Oxford, UK.",
  booktitle = "In Proc.\ of the Int.\ Workshop on Description Logics (DL2009)",
  month = "July",
}
@inproceedings{Kazakov:09:CB:DL,
  title = "Consequence-Driven Reasoning for Horn {SHIQ} Ontologies",
  author = "Yevgeny Kazakov",
  year = "2009",
  address = "Oxford, United Kindgom",
  booktitle = "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)",
  editor = "Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler",
  month = "July",
  publisher = "CEUR Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-477/paper_69.pdf",
  volume = "477",
}
@inproceedings{Kazakov:09:Regular:DL,
  title = "An Extension of Regularity Conditions for Complex Role Inclusion Axioms",
  author = "Yevgeny Kazakov",
  year = "2009",
  address = "Oxford",
  booktitle = "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)",
  editor = "Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler",
  month = "July",
  publisher = "CEUR Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-477/paper_68.pdf",
  volume = "477",
}
@conference{eswc2009,
  title = "Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences",
  author = "Ernesto Jimenez Ruiz and Bernardo Cuenca Grau and Ian Horrocks and Rafael Berlanga",
  year = "2009",
  booktitle = "Proc. of the 6th European Semantic Web Conference (ESWC 2009)",
  location = "Heraklion, Crete",
  month = "June",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.springerlink.com/content/b08184532653n726/",
}
@article{hmpuISWC2009,
  title = "{Efficient Query Answering for OWL 2}",
  author = "H\'ector P\'erez-Urbina and Ian Horrocks and Boris Motik",
  year = "2009",
  address = "Chantilly, VA, USA.",
  booktitle = "In Proc.\ of the Int.\ Semantic Web Conference (ISWC2009)",
  month = "October",
  note = "to appear",
}
@inproceedings{hmpuOWLED2009,
  title = "Practical Considerations for Query Answering in OWL 2",
  author = "H\'ector P\'erez-Urbina and Ian Horrocks and Boris Motik",
  year = "2009",
  address = "Chantilly, VA, USA.",
  booktitle = "In Proc.\ of the OWL: Experiences and Directions Workshop (OWLED2009)",
  month = "October",
}
@article{DBLP:journals/bmcbi/MesitiJSLPVM09,
  title = "XML-based approaches for the integration of heterogeneous bio-molecular data",
  author = "Marco Mesiti and Ernesto Jim{\'e}nez-Ruiz and Ismael Sanz and Rafael Berlanga Llavori and Paolo Perlasca and Giorgio Valentini and David Manset",
  year = "2009",
  journal = "BMC Bioinformatics",
  number = "S-12",
  pages = "7",
  url = "http://www.biomedcentral.com/1471-2105/10/S12/S7",
  volume = "10",
  doi = "doi:10.1186/1471-2105-10-S12-S7",
}
@article{DBLP:journals/bmcbi/Jimeno-YepesJLR09,
  title = "Reuse of terminological resources for efficient ontological engineering in Life Sciences",
  author = "Antonio Jimeno-Yepes and Ernesto Jim{\'e}nez-Ruiz and Rafael Berlanga Llavori and Dietrich Rebholz-Schuhmann",
  year = "2009",
  journal = "BMC Bioinformatics",
  number = "S-10",
  pages = "4",
  url = "http://www.biomedcentral.com/1471-2105/10/S10/S4",
  volume = "10",
  doi = "doi:10.1186/1471-2105-10-S10-S4",
}
@article{giunchiglia2009a,
  title = "A Large Scale Dataset for the Evaluation of Ontology Matching Systems",
  author = "F. Giunchiglia, M. Yatskevich, P. Avesani, P. Shvaiko",
  year = "2009",
  journal = "The Knowledge Engineering Review Journal",
  pages = "137-157",
  volume = "24(2)",
}
@article{hmpuJAL09,
  title = "{Tractable Query Answering and Rewriting under Description Logic Constraints}",
  author = "H\'ector P\'erez-Urbina and Boris Motik and Ian Horrocks",
  year = "2009",
  journal = "Journal of Applied Logic",
  note = "to appear",
}
@article{AIJ-2009,
  title = "Representing Ontologies Using Description Logics, Description Graphs and Rules",
  author = "Boris Motik and Bernardo Cuenca Grau and Ian Horrocks and Ulrike Sattler",
  year = "2009",
  journal = "Artificial Intelligence (AIJ)",
  number = "14",
  pages = "1275--1309",
  publisher = "Elsevier",
  url = "http://www.comlab.ox.ac.uk/people/boris.motik/pubs/mghs09graphs-journal.pdf",
  volume = "173",
}
@inproceedings{GrauMotKaz:09:ImportByQuiery,
  title = "Import-by-Query: Ontology Reasoning under Access Limitations",
  author = "Bernardo Cuenca Grau and Boris Motik and Yevgeny Kazakov",
  year = "2009",
  booktitle = "Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009)",
  month = "July 11-17",
  pages = "727-732",
  url = "http://ijcai.org/papers09/Papers/IJCAI09-126.pdf",
}
@inproceedings{3140,
  title = "Consequence-Driven Reasoning for Horn {SHIQ} Ontologies",
  author = "Yevgeny Kazakov",
  year = "2009",
  booktitle = "Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009)",
  month = "July 11-17",
  pages = "2040-2045",
  url = "http://ijcai.org/papers09/Papers/IJCAI09-336.pdf",
}
@inproceedings{DelKaz:09:SQL:OWLED,
  title = "Classifying {ELH} Ontologies In {SQL} Databases",
  author = "Vincent Delaitre and Yevgeny Kazakov",
  year = "2009",
  address = "Chantilly, VA, United States",
  booktitle = "OWL: Experiences and Directions 2009 (OWLED 2009)",
  month = "October 23--24",
}
@inproceedings{KazPH:09:GML:LICS,
  title = "A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics",
  author = "Yevgeny Kazakov and Ian Pratt-Hartmann",
  year = "2009",
  booktitle = "Proc. of LICS 2009",
  isbn = "978-0-7695-3746-7",
  issn = "1043-6871",
  month = "August 11-14",
  pages = "407-416",
  publisher = "IEEE Computer Society",
}
@inproceedings{GlRu09b,
  title = "Conjunctive Query Entailment: Decidable in Spite of O, I, and Q",
  author = "Birte Glimm and Sebastian Rudolph",
  year = "2009",
  booktitle = "Proceedings of the of the 2000 Description Logic Workshop (DL-09)",
  publisher = "CEUR Workshop Proceedings",
}
@inproceedings{GHPP09a,
  title = "A Syntax for Rules in OWL 2",
  author = "Birte Glimm and Matthew Horridge and Bijan Parsia and Peter F. Patel-Schneider",
  year = "2009",
  booktitle = "Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009)",
  publisher = "CEUR",
  volume = "529",
}
@inproceedings{UMLS-bioworkshop,
  title = "Towards a Logic-based Assessment of the compatibility of UMLS sources",
  author = "Ernesto Jimenez Ruiz and Bernardo Cuenca Grau and Ian Horrocks and Rafael Berlanga",
  year = "2009",
  booktitle = "Proceedings of the International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009)",
}
@inproceedings{import-query-DL,
  title = "Importing Ontologies with Hidden Content",
  author = "Bernardo Cuenca Grau and Boris Motik",
  year = "2009",
  booktitle = "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)",
  url = "http://web.comlab.ox.ac.uk/DL2009/proceedings/oral/Grau_Motik.pdf",
}
@inproceedings{ijcai09,
  title = "Import-by-Query: Ontology Reasoning under Access Limitations",
  author = "Bernardo Guenca Grau and Boris Motik and Yevgeny Kazakov",
  year = "2009",
  booktitle = "n Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009)",
  publisher = "AAAI Press",
  url = "http://www.comlab.ox.ac.uk/people/boris.motik/pubs/cgmk09ibq.pdf",
}
@inproceedings{contentCVS-bioworkshop,
  title = "ContentCVS:  A CVS-based Collaborative ONTology ENgineering Tool (Demo Paper)",
  author = "Ernesto Jimenez Ruiz and Bernardo Cuenca Grau and Ian Horrocks and Rafael Berlanga",
  year = "2009",
  booktitle = "Proceedings of the International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009)",
}
@inproceedings{ContentCVS-DL2009,
  title = "Building Ontologies Collaboratively Using ContentCVS",
  author = "Ernesto Jimenez Ruiz and Bernardo Cuenca Grau and Ian Horrocks and Rafael Berlanga",
  year = "2009",
  booktitle = "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)",
  url = "http://web.comlab.ox.ac.uk/DL2009/proceedings/oral/Jimenez-Ruiz_Grau_Horrocks_Berlanga.pdf",
}
@proceedings{DL2009-Proceedings,
  title = "Proceedings of the 22nd International Workshop on Description Logics",
  author = "Bernardo {Cuenca Grau} and Ian Horrocs and Boris Motik and Ulrike Sattler (Editors)",
  year = "2009",
  publisher = "CEUR Workshop Proceedings",
  url = "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-477/",
  volume = "477",
}
@techreport{DelaitreKazakov_DB_TR,
  title = "Classifying {ELH} Ontologies in {SQL} Databases",
  author = "Vincent Delaitre and Yevgeny Kazakov",
  year = "2009",
  institution = "The University of Oxford",
}
@techreport{3139,
  title = "A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics",
  author = "Yevgeny Kazakov and Ian Pratt-Hartmann",
  year = "2009",
  institution = "arxiv.org",
  note = "{\tt arXiv:0905.3108v1}, posted on {\tt http://arxiv.org}",
  url = "http://arxiv.org/abs/0905.3108",
}
@techreport{GlRu09a,
  title = "Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!",
  author = "Birte Glimm and Sebastian Rudolph",
  year = "2009",
  institution = "Oxford University Compting Laboratory",
  note = "Technical Report",
}
@techreport{GHPP09b,
  title = "A Syntax for Rules in OWL 2",
  author = "Birte Glimm and Matthew Horridge and Bijan Parsia and Peter F. Patel-Schneider",
  year = "2009",
  institution = "Oxford University Computing Laboratory",
  note = "Technical Report",
}
@incollection{GraHorKazSat:09:Extracting,
  title = "Extracting Modules from Ontologies: A Logic-Based Approach",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2009",
  booktitle = "Modular Ontologies",
  editor = "Heiner Stuckenschmidt and Christine Parent and Stefano Spaccapietra",
  isbn = "978-3-642-01906-7",
  pages = "159-186",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-01907-4",
  volume = "5445",
}
@incollection{modularityHandbookB08,
  title = "{Ontology Integration Using $\mathcal{E}$-connections}",
  author = "Bernardo {Cuenca Grau} and Bijan Parsia and Evren Sirin",
  year = "2009",
  booktitle = "Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization",
  editor = "Heiner Stuckenschmidt and Stefano Spaccapietra",
  publisher = "Springer",
  series = "LNCS",
}
@incollection{modularityHandbook08,
  title = "{Extracting Modules from Ontologies: A Logic-based Approach}",
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2009",
  booktitle = "Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization",
  editor = "Heiner Stuckenschmidt and Stefano Spaccapietra",
  publisher = "Springer",
  series = "LNCS",
}
@misc{OWL2-profiles,
  title = "OWL 2 Web Ontology Language: Profiles",
  author = "Boris Motik and Bernardo Cuenca Grau and Ian Horrocks and Zhe Wu and Achille Fokoue and Carsten Lutz",
  year = "2009",
  howpublished = "World Wide Web Consortium (W3C) Recommendation",
}
@misc{OWLSemantics,
  title = "OWL 2 Web Ontology Language: Direct Semantics",
  author = "Boris Motik, Peter F. Patel-Schneider and Bernardo {Cuenca Grau}",
  year = "2009",
  howpublished = "World Wide Web Consortium (W3C)  Recommendation",
  url = "http://www.w3.org/TR/2009/CR-owl2-direct-semantics-20090611/",
}
@inproceedings{aaai2008,
  title = "Metalevel Information in Ontology-Based Applications",
  author = "Duc Thanh Tran and Peter Haase and Bernardo Cuenca Grau and Boris Motik and Ian Horrocks",
  year = "2008",
  booktitle = "Proceedings of the 23thrd National Conference on Artificial Intelligence (AAAI 2008)",
  location = "Chicago, Illinois",
  month = "July",
  publisher = "AAAI Press",
  url = "http://web.comlab.ox.ac.uk/people/Boris.Motik/pubs/dhmgh08-metalevel-information.pdf",
}
@inproceedings{pumh2008rewritinga,
  title = "{Rewriting Conjunctive Queries under Description Logic Constraints}",
  author = "H{\'e}ctor P{\'e}rez-Urbina and Boris Motik and Ian Horrocks",
  year = "2008",
  address = "Rome, Italy",
  booktitle = "Proc. of the Int.\ Workshop on Logics in Databases (LID 2008)",
  month = "May",
}
@inproceedings{pumh08rewriting,
  title = "{Rewriting Conjunctive Queries over Description Logic Knowledge Bases}",
  author = "H{\'e}ctor P{\'e}rez-Urbina and Boris Motik and Ian Horrocks",
  year = "2008",
  address = "Nantes, France",
  booktitle = "Proc. of the Int.\ Workshop on Semantics in Data and Knowledge Bases (SDKB 2008)",
  month = "March",
  publisher = "Springer",
}
@techreport{TR-ELHI,
  title = "{Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report)}",
  author = "H{\'e}ctor P{\'e}rez-Urbina and Boris Motik and Ian Horrocks",
  year = "2008",
  institution = "University of Oxford",
  month = "February",
}
@article{DBLP:journals/bmcbi/JimenoJLGLR08,
  title = "Assessment of disease named entity recognition on a corpus of annotated sentences",
  author = "Antonio Jimeno-Yepes and Ernesto Jim{\'e}nez-Ruiz and Vivian Lee and Sylvain Gaudan and Rafael Berlanga Llavori and Dietrich Rebholz-Schuhmann",
  year = "2008",
  journal = "BMC Bioinformatics",
  number = "S-3",
  url = "http://www.biomedcentral.com/1471-2105/9/S3/S3",
  volume = "9",
  doi = "doi:10.1186/1471-2105-9-S3-S3",
}
@article{KazMot:07:SHOIQ_JAR,
  title = "A Resolution-Based Decision Procedure for {SHOIQ}",
  author = "Yevgeny Kazakov and Boris Motik",
  year = "2008",
  journal = "Journal of Automated Reasoning",
  number = "2-3",
  pages = "89-116",
  url = "http://www.springerlink.com/content/arh7q565w015464p/?p=9bcbcb9db580413e993d40de33e31385&pi=1",
  volume = "40",
}
@article{CueHorKazSat:08:Modularity,
  title = "Modular Reuse of Ontologies: Theory and Practice",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2008",
  journal = "JAIR",
  pages = "273-318",
  url = "http://www.jair.org/papers/paper2375.html",
  volume = "31",
}
@article{GHLS08a,
  title = "Conjunctive Query Answering for the Description Logic SHIQ",
  author = "Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler",
  year = "2008",
  journal = "Journal of Artificial Intelligence Research",
  pages = "151--198",
  volume = "31",
}
@article{JWS-OWL2,
  title = "OWL 2: The Next Step for OWL",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Bijan Parsia and Peter Patel-Schneider and Ulrike Sattler",
  year = "2008",
  journal = "Journal of Web Semantics",
  number = "4",
  pages = "309-322",
  url = "http://web.comlab.ox.ac.uk/people/Boris.Motik/pubs/ghmppss08next-steps.pdf",
  volume = "6",
}
@article{GrauJAIR08,
  title = "Modular Reuse of Ontologies: Theory and Practice",
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2008",
  journal = "J. of Artificial Intelligence Research (JAIR)",
  pages = "273-318",
  url = "http://www.jair.org/media/2375/live-2375-3703-jair.pdf",
  volume = "31",
}
@inproceedings{aiml/NenovV08,
  title = "Modal logics for mereotopological relations",
  author = "Yavor Nenov and Dimiter Vakarelov",
  year = "2008",
  booktitle = "Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008",
  pages = "249--272",
}
@inproceedings{DBLP:conf/cbms/LlavoriJNMBHMRSZF08,
  title = "Medical Data Integration and the Semantic Annotation of Medical Protocols",
  author = "Rafael Berlanga Llavori and Ernesto Jim{\'e}nez-Ruiz and Victoria Nebot and David Manset and Andrew Branson and Tamas Hauer and Richard McClatchey and Dmitri Rogulin and Jetendr Shamdasani and Sonja Zillner and Joerg Freund",
  year = "2008",
  booktitle = "Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems (CBMS), June 17-19, 2008, Jyv{\"a}skyl{\"a}, Finland",
  pages = "644-649",
}
@conference{giunchiglia2008a,
  title = "Approximate Structure-Preserving Semantic Matching",
  author = "F. Giunchiglia, F. McNeill, M. Yatskevich, J. Pane, P. Besana, P. Shvaiko",
  year = "2008",
  booktitle = "In Proceedings of ODBASE",
  pages = "1217-1234",
}
@inproceedings{Kazakov:08:SROIQ,
  title = "{SRIQ} and {SROIQ} are Harder than {SHOIQ}",
  author = "Yevgeny Kazakov",
  year = "2008",
  booktitle = "DL 2008",
  editor = "Franz Baader and Carsten Lutz and Boris Motik",
  note = "to",
  publisher = "CEUR-WS.org",
  series = "CEUR Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-353/Kazakov.pdf",
  volume = "353",
}
@inproceedings{GlimmKazakov:08:RoleConjunctions,
  title = "Role Conjunctions in Expressive Description Logics",
  author = "Birte Glimm and Yevgeny Kazakov",
  year = "2008",
  booktitle = "LPAR",
  isbn = "978-3-540-89438-4",
  pages = "391-405",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-540-89439-1_28",
  volume = "5330",
}
@inproceedings{Kazakov:08:SROIQ:KR,
  title = "RIQ and SROIQ are Harder than SHOIQ",
  author = "Yevgeny Kazakov",
  year = "2008",
  booktitle = "KR 2008",
  editor = "Gerhard Brewka and J{\'e}r{\^o}me Lang",
  isbn = "978-1-57735-384-3",
  pages = "274-284",
  publisher = "AAAI Press",
}
@inproceedings{GlHS08a,
  title = "Unions of Conjunctive Queries in SHOQ",
  author = "Birte Glimm and Ian Horrocks and Ulrike Sattler",
  year = "2008",
  booktitle = "Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR-08)",
  pages = "252-262",
  publisher = "AAAI Press/The MIT Press",
}
@inproceedings{GlKa08a,
  title = "Role Conjunctions in Expressive Description Logics",
  author = "Birte Glimm and Yevgeny Kazakov",
  year = "2008",
  booktitle = "Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR 2008)",
  pages = "391-405",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5330",
}
@inproceedings{OWLEdEU2008,
  title = "Modeling Ontologies Using OWL, Description Graphs and Rules",
  author = "Boris Motik and Bernardo Cuenca Grau and Ian Horrocks and Ulrike Sattler",
  year = "2008",
  booktitle = "Proc. of OWLEd 2008: OWL Experiences and Directions Workshop",
  journal = "Proc. of OWLEd 2008: OWL Experiences and Directions Workshop",
}
@inproceedings{mgs08-structured-objects,
  title = "{Structured Objects in OWL: Representation and Reasoning}",
  author = "Boris Motik and Bernardo {Cuenca Grau} and Ulrike Sattler",
  year = "2008",
  address = "Beijing, China",
  booktitle = "Proc. of the 17th Int. World Wide Web Conference (WWW 2008)",
  editor = "Karl Aberer and Key-Sun Choi and Natasha Fridman Noy and Dean Allemang and Kyung-Il Lee and Lyndon J. B. Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudr{\'e}-Mauroux",
  month = "April 21-25",
  pages = "169--182",
  publisher = "ACM Press",
  url = "http://web.comlab.ox.ac.uk/Bernardo.Cuenca.Grau/publications/paper.conf.pdf",
}
@inproceedings{structuredDL08,
  title = "The Representation of Structured Objects in DLs using Description Graphs",
  author = "Boris Motik and Bernardo Cuenca Grau and Ulrike Sattler",
  year = "2008",
  booktitle = "The 21st international Description Logics Workshop (DL-2008)",
}
@inproceedings{GrauOWLEd08,
  title = "Safe and Economic re-use of ontologies: a logic-based methodology and tool support",
  author = "Ernesto Jimenez-Ruiz and Bernardo {Cuenca Grau} and Thomas Schneider and Ulrike Sattler and Rafael Berlanga",
  year = "2008",
  booktitle = "OWLEd 2008, Proceedings of the 4th International Workshop: OWL Experiences and Directions, April 1-2, 2008",
  note = "Another version of this paper will also appear in Procedings of the 21st Description Logics Workshop (DL-2008)",
}
@inproceedings{GrauESWC08,
  title = "Safe and Economic re-use of ontologies: a logic-based methodology and tool support",
  author = "Ernesto Jimenez-Ruiz and Bernardo {Cuenca Grau} and Thomas Schneider and Ulrike Sattler and Rafael Berlanga",
  year = "2008",
  booktitle = "ESWC 2008, Proceedings of the 5th European Semantic Web Conference, Tenerife, Spain, June 1-5, 2008",
  publisher = "Springer LNCS",
}
@inproceedings{KR-08,
  title = "Representing Structured Objects using Description Graphs",
  author = "Boris Motic and Bernardo Cuenca Grau and Ian Horrocks and Ulrike Sattler",
  year = "2008",
  booktitle = "11th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2008)",
  url = "http://web.comlab.ox.ac.uk/people/Boris.Motik/pubs/mghs08description-graphs.pdf",
}
@inproceedings{Ecai-2008,
  title = "Privacy-preserving Query Answering in Logic-based Information Systems",
  author = "Bernardo Cuenca Grau and Ian Horrocks",
  year = "2008",
  booktitle = "18th European Conference on Artificial Intelligence (ECAI-2008)",
  location = "Patras, Greece",
  publisher = "IOS Press",
}
@techreport{TR080616,
  title = "Role Conjunctions in Expressive Description Logics",
  author = "Birte Glimm and Yevgeny Kazakov",
  year = "2008",
  institution = "The University of Oxford",
}
@techreport{KazSatZol:07:RBox,
  title = "Is Your RBox Safe?",
  author = "Yevgeny Kazakov and Ulrike Sattler and Evgeny Zolin",
  year = "2007",
  address = "Oxford Road, Manchester M13 9PL, UK",
  institution = "The University of Manchester",
  month = "July",
}
@inproceedings{CueHorKazSat:07:Modularity,
  title = "Just the Right Amount: Extracting Modules from Ontologies.",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2007",
  address = "Banff, Canada",
  booktitle = "WWW",
  month = "May",
  pages = "717--726",
  publisher = "ACM",
  url = "http://www2007.org/proceedings.html",
}
@techreport{GrauHorrKazSatt:07:Modul:TR,
  title = "Extracting Modules from Ontologies: Theory and Practice",
  author = "Cuenca Grau and Bernardo and Horrocks, Ian and Kazakov, Yevgeny and Sattler, Ulrike",
  year = "2007",
  address = "Oxford Road, Manchester M13 9PL, UK",
  institution = "The University of Manchester",
  month = "February",
}
@techreport{LBII,
  title = "{Logic-based Information Integration}",
  author = "H{\'e}ctor P{\'e}rez-Urbina",
  year = "2007",
  institution = "University of Manchester",
  month = "January",
  note = "{A report submitted to the University of Manchester for the transferal from the Master of Philosophy to the Doctor of Philosophy degree programme in the Faculty of Engineering and Physical Sciences}",
}
@article{giunchiglia2007a,
  title = "Semantic Matching: Algorithms and Implementation",
  author = "F. Giunchiglia, M. Yatskevich, P. Shvaiko",
  year = "2007",
  journal = "Journal on Data Semantics",
  pages = "1-38",
  volume = "IX",
}
@article{HoGS07a,
  title = "Hybrid Logics and Ontology Languages",
  author = "Ian Horrocks an Birte Glimm and Ulrike Sattler",
  year = "2007",
  journal = "Electronic Notes in Theoretical Computer Science",
  note = "Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)",
  number = "6",
  pages = "3-14",
  volume = "174",
}
@article{GrauPellet,
  title = "Pellet: A Practical {OWL DL} Reasoner",
  author = "Evren Sirin and Bijan Parsia and Bernardo {Cuenca Grau} and Aditya Kalyanpur and Yarden Katz",
  year = "2007",
  journal = "Journal of Web Semantics",
  number = "2",
  pages = "51--53",
  publisher = "Elsevier",
  url = "http://web.comlab.ox.ac.uk/Bernardo.Cuenca.Grau/publications/PelletDemo.pdf",
  volume = "5",
}
@inproceedings{DBLP:conf/otm/Jimenez-RuizBNS07,
  title = "OntoPath: A Language for Retrieving Ontology Fragments",
  author = "Ernesto Jim{\'e}nez-Ruiz and Rafael Berlanga Llavori and Victoria Nebot and Ismael Sanz",
  year = "2007",
  booktitle = "On the Move to Meaningful Internet Systems, ODBASE",
  pages = "897-914",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4803",
}
@inproceedings{giunchiglia2007c,
  title = "Structure preserving semantic matching",
  author = "F. Giunchiglia, P. Shvaiko, M. Yatskevich",
  year = "2007",
  booktitle = "In Proceedings of the International Workshop on Ontology Matching",
}
@inproceedings{giunchiglia2007b,
  title = "Background knowledge in ontology matching",
  author = "F. Giunchiglia, P. Shvaiko, M. Yatskevich",
  year = "2007",
  booktitle = "In Bertinoro Workshop on Information Integration",
}
@inproceedings{CueHorKazSat:07:Safe,
  title = "Ontology Reuse: Better Safe than Sorry.",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2007",
  address = "Brixen/Bressanone, Italy",
  booktitle = "Description Logics",
  month = "June 8--10",
  pages = "41--52",
  publisher = "Bozen/Bolzano University Press",
  url = "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-250/",
}
@inproceedings{KazSatZol:07:NonSimple,
  title = "How Many Legs Do {I} Have? Non-Simple Roles in Number Restrictions Revisited",
  author = "Yevgeny Kazakov and Ulrike Sattler and Evgeny Zolin",
  year = "2007",
  booktitle = "LPAR",
  pages = "303-317",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4790",
  doi = "10.1007/978-3-540-75560-9_23",
}
@inproceedings{CueHalKaz:07:Incremental,
  title = "History Matters: Incremental Ontology Reasoning Using Modules",
  author = "Bernardo Cuenca Grau and Christian Halaschek-Wiener and Yevgeny Kazakov",
  year = "2007",
  booktitle = "ISWC/ASWC",
  pages = "183-196",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4825",
  doi = "10.1007/978-3-540-76298-0_14",
}
@inproceedings{CueHorKazSat:07:Extracting,
  title = "Extracting Modules From Ontologies: A Logic-based Approach",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2007",
  address = "Innsbruck, Austria",
  booktitle = "OWL: Experiences and Directions 2007 (OWLED 2007)",
  month = "June 6--7",
  url = "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-258/",
}
@inproceedings{CueHorKazSat:07:Framework,
  title = "A Logical Framework for Modularity of Ontologies.",
  author = "Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2007",
  booktitle = "IJCAI",
  pages = "298-303",
  url = "http://www.ijcai.org/papers07/Papers/IJCAI07-046.pdf",
}
@inproceedings{GlHS07a,
  title = "Conjunctive Query Entailment for SHOQ",
  author = "Birte Glimm and Ian Horrocks and Uli Sattler",
  year = "2007",
  booktitle = "Proceedings of the 2007 Description Logic Workshop (DL 2007)",
}
@inproceedings{GHLS07a,
  title = "Conjunctive Query Answering in the Description Logic SHIQ",
  author = "Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler",
  year = "2007",
  booktitle = "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)",
}
@inproceedings{GrauDL07,
  title = "Ontology Reuse: Better Safe than Sorry",
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2007",
  booktitle = "DL 2007, Proceedings of the 20th International Workshop on Description Logics, Brixen, Italy, June 8-10, 2007",
  url = "http://web.comlab.ox.ac.uk/Bernardo.Cuenca.Grau/publications/dl07.pdf",
}
@inproceedings{GrauIJCAIWorkshop,
  title = "Modular Ontology Languages Revisited",
  author = "Bernardo {Cuenca Grau} and Oliver Kutz",
  year = "2007",
  booktitle = "SWeCKa 2007: Proc. of the IJCAI-2007 Workshop on Semantic Web for Collaborative Knowledge Acquisition , Hyderabad, India, January 7, 2007",
  url = "http://www.comlab.ox.ac.uk/people/bernardo.cuenca.grau/publications/Grau.pdf",
}
@inproceedings{GrauWWW07,
  title = "Just the Right Amount: Extracting Modules from Ontologies",
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2007",
  booktitle = "WWW 2007, Proceedings of the 16th International World Wide Web Conference, Banff, Canada, May 8-12, 2007",
  pages = "717-727",
  url = "http://www.comlab.ox.ac.uk/people/bernardo.cuenca.grau/publications/www433-cuenca.pdf",
}
@inproceedings{GrauISWC07,
  title = "History Matters: Incremental Ontology Reasoning Using Modules",
  author = "Bernardo {Cuenca Grau} and Christian Halasheck-Wiener and Yevgeny Kazakov",
  year = "2007",
  booktitle = "Proceedings of the 6th International Semantic Web Conference (ISWC-2007), Busan, Korea, November 11-15 2007, Lecture Notes in Computer Science Vol. 4825",
  publisher = "Springer",
  url = "http://web.comlab.ox.ac.uk/Bernardo.Cuenca.Grau/publications/inc-class.pdf",
}
@inproceedings{GrauOWLEd07,
  title = "Extracting Modules from Ontologies: A Logic-based Approach",
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2007",
  booktitle = "OWLEd 2007, Proceedings of the 3thrd International Workshop: {OWL} Experiences and Directions, Innsbruck, Austria June 6-8, 2007",
}
@inproceedings{DBLP:conf/ijcai/GrauHKS07,
  title = "A Logical Framework for Modularity of Ontologies.",
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler",
  year = "2007",
  booktitle = "IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007",
  pages = "298-303",
  url = "http://web.comlab.ox.ac.uk/Bernardo.Cuenca.Grau/publications/IJCAI-GrauB936.pdf",
}
@proceedings{Womo07,
  title = "Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007",
  author = "Bernardo Cuenca Grau and Vasant Honavar and Anne Schlicht and Frank Wolter (Eds.)",
  year = "2007",
  location = "Whistler, Canada",
}
@phdthesis{Glim07a,
  title = "Querying Description Logic Knowledge Bases",
  author = "Birte Glimm",
  year = "2007",
  address = "Manchester, United Kingdom",
  school = "The University of Manchester",
}
@phdthesis{Kazakov:06:Phd,
  title = "Saturation-Based Decision Procedures for Extensions of the Guarded Fragment",
  author = "Yevgeny Kazakov",
  year = "2006",
  address = "Saarbr{\"u}cken, Germany",
  month = "March",
  school = "Universit{\"a}t des Saarlandes",
}
@proceedings{OWLEd06,
  title = "{OWL Experiences And Directions Workshop Proceedings, 2006}",
  year = "2006",
  address = "Athens, Georgia, USA",
  editor = "Bernardo {Cuenca Grau} and Pascal Hitzler and Connor Shankey and Evan Wallace",
  month = "November",
  publisher = "CEUR Online Proceedings Series",
  url = "http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-216/",
}
@article{DBLP:journals/ws/GrauPS06,
  title = "Combining {OWL} ontologies using $\mathcal{E}$-connections.",
  author = "Bernardo {Cuenca Grau} and Bijan Parsia and Evren Sirin",
  year = "2006",
  journal = "J. Web Semantics",
  number = "1",
  pages = "40-59",
  volume = "4",
}
@inproceedings{DBLP:conf/otm/Jimenez-RuizBSMDMPR06,
  title = "The Management and Integration of Biomedical Knowledge: Application in the Health-e-Child Project (Position Paper)",
  author = "Ernesto Jim{\'e}nez-Ruiz and Rafael Berlanga Llavori and Ismael Sanz and Richard McClatchey and Roxana D{\'a}nger and David Manset and Jordi Paraire and A. Rios",
  year = "2006",
  booktitle = "On the Move to Meaningful Internet Systems, OnToContent",
  pages = "1062-1067",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4278",
}
@conference{giunchiglia2006a,
  title = "Discovering Missing Background Knowledge in Ontology Matching",
  author = "F. Giunchiglia, P. Shvaiko, M. Yatskevich",
  year = "2006",
  booktitle = "In Proceedings of ECAI'06",
  pages = "382-386",
}
@inproceedings{euzenat2006a,
  title = "First results of the ontology alignment evaluation initiative 2006",
  author = "J. Euzenat, M. Mochol, O. Svab, V. Svatek, P. Shvaiko, H. Stuckenschmidt, W. van Hage, M. Yatskevich",
  year = "2006",
  booktitle = "In Proceedings of Ontology Matching 2006 Workshop",
}
@inproceedings{yatskevich2006a,
  title = "Coreference resolution on RDF Graphs generated from Information Extraction: first results",
  author = "M. Yatskevich, C. Welty, J. Murdock",
  year = "2006",
  booktitle = "In Proceedings of Web Content Mining with Human Language Technologies Workshop",
}
@inproceedings{KazakovMotik:06:SHOIQ,
  title = "A Resolution-Based Decision Procedure for {SHOIQ}.",
  author = "Yevgeny Kazakov and Boris Motik",
  year = "2006",
  booktitle = "IJCAR",
  pages = "662-677",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springerlink.com/content/v83lg14337264048/",
  volume = "4130",
  doi = "10.1007/11814771_53",
}
@inproceedings{GlHS06a,
  title = "Conjunctive Query Answering for Description Logics with Transitive Roles",
  author = "Birte Glimm and Ian Horrocks and Ulrike Sattler",
  year = "2006",
  booktitle = "Proceedings of the 2006 Description Logic Workshop (DL 2006)",
  publisher = "CEUR Workshop Proceedings",
}
@inproceedings{GrauDL06,
  title = "Will my Ontologies Fit Together?",
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Oliver Kutz and Ulrike Sattler",
  year = "2006",
  booktitle = "DL 2006, Proceedings of the 19th International Workshop on Description Logics, Lake District of the United Kingdom, UK, 2006",
  url = "http://www.comlab.ox.ac.uk/people/bernardo.cuenca.grau/publications/Integration-TR.pdf",
}
@inproceedings{DBLP:conf/esws/KalyanpurPSG06,
  title = "Repairing Unsatisfiable Concepts in {OWL} Ontologies.",
  author = "Aditya Kalyanpur and Bijan Parsia and Evren Sirin and Bernardo {Cuenca Grau}",
  year = "2006",
  booktitle = "The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings",
  pages = "170-184",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://web.comlab.ox.ac.uk/Bernardo.Cuenca.Grau/publications/repair.pdf",
  volume = "4011",
}
@inproceedings{GrauOWLEd06,
  title = "Next Steps for {OWL}",
  author = "Bernardo {Cuenca Grau} and Ian Horrocks and Peter Patel-Schneider and Ulrike Sattler",
  year = "2006",
  booktitle = "OWLEd 2006, Proceedings of the 2nd International Workshop: {OWL} Experiences and Directions, Athens, Georgia November 10-11, 2006",
}
@inproceedings{DBLP:conf/kr/GrauPSK06,
  title = "Modularity and Web Ontologies.",
  author = "Bernardo {Cuenca Grau} and Bijan Parsia and Evren Sirin and Aditya Kalyanpur",
  year = "2006",
  booktitle = "Proceedings of KR-2006, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006",
  pages = "198-209",
  publisher = "AAAI Press",
  url = "http://web.comlab.ox.ac.uk/Bernardo.Cuenca.Grau/publications/KR0603CuencaB.pdf",
}
@inproceedings{DBLP:conf/iclp/RuckhausKPG06,
  title = "Integrating Datalog with {OWL}: Exploring the AL-log Approach.",
  author = "Edna Ruckhaus and Vladimir Kolovski and Bijan Parsia and Bernardo {Cuenca Grau}",
  year = "2006",
  booktitle = "Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings",
  pages = "455-456",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4079",
}
@inproceedings{DBLP:conf/kr/SirinGP06,
  title = "From Wine to Water: Optimizing Description Logic Reasoning for Nominals.",
  author = "Evren Sirin and Bernardo {Cuenca Grau} and Bijan Parsia",
  year = "2006",
  booktitle = "Proceedings of KR-2006, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006",
  pages = "90-99",
  publisher = "AAAI Press",
  url = "http://web.comlab.ox.ac.uk/Bernardo.Cuenca.Grau/publications/KR0603SirinE.pdf",
}
@inproceedings{GrauDL06debug,
  title = "Beyond Asserted Axioms: Fine-Grain Justifications for {OWL-DL} Entailments",
  author = "Aditya Kalyanpur and Bijan Parsia and Evren Sirin and Bernardo {Cuenca Grau}",
  year = "2006",
  booktitle = "DL 2006, Proceedings of the 19th International Workshop on Description Logics, Lake District, UK, June 2006",
}
@techreport{GHLS06a,
  title = "Conjunctive Query Answering in the Description Logic SHIQ",
  author = "Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler",
  year = "2006",
  address = "Germany",
  institution = "Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology",
  number = "LTCS-06-01",
}
@inproceedings{ENC05,
  title = "{SKIMA: Semantic Knowledge and Information Management}",
  author = "H{\'e}ctor P{\'e}rez-Urbina and Gennaro Bruno and Genoveva Vargas-Solar",
  year = "2005",
  address = "Puebla, Mexico",
  booktitle = "Proc. of the Sixth Mexican International Conference on Computer Science (ENC 2005)",
  isbn = "0-7695-2454-0",
  month = "September",
}
@unpublished{Kazakov:05:Framework,
  title = "A Framework of Refutational Theorem Proving for Saturation-Based Decision Procedures",
  author = "Yevgeny  Kazakov",
  year = "2005",
  address = "Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany",
  institution = "Max-Planck-Institut f{\"u}r Informatik",
  month = "August",
  note = "Research Report MPI-I-2005-2-004, Max-Planck-Institut f{\"u}r Informatik, on revison",
  number = "MPI-I-2005-2-004",
}
@proceedings{OWLEd05,
  title = "{OWL Experiences And Directions Workshop Proceedings, 2005}",
  year = "2005",
  address = "Galway, Ireland",
  editor = "Bernardo {Cuenca Grau} and Ian Horrocks and Bijan Parsia and Peter Patel-Schneider",
  month = "November",
  publisher = "CEUR Online Proceedings Series",
  url = "http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-188/",
}
@inproceedings{Carbonetto:2005,
  title = "Nonparametric {Bayesian} Logic",
  author = "Peter Carbonetto and Jacek Kisynski and Nando de Freitas and David Poole",
  year = "2005",
  address = "Arlington, Virginia",
  booktitle = "Uncertainty in Artificial Intelligence (UAI)",
  pages = "85--93",
  publisher = "AUAI Press",
  url = "http://uai.sis.pitt.edu/papers/05/p85-carbonetto.pdf",
}
@conference{giunchiglia2005a,
  title = "Semantic Schema Matching",
  author = "F. Giunchiglia, P. Shvaiko, M. Yatskevich",
  year = "2005",
  booktitle = "In Proceedings of CoopIS",
  pages = "347-360",
}
@inproceedings{euzenat2005a,
  title = "Introduction to the ontology alignment evaluation 2005",
  author = "J. Euzenat, H. Stuckenschmidt, M. Yatskevich",
  year = "2005",
  booktitle = "In Proceedings of Workshop on Integrating Ontologies",
}
@conference{guinchiglia2005b,
  title = "Efficient Semantic Matching",
  author = "F. Giunchiglia, M. Yatskevich, E. Giunchiglia",
  year = "2005",
  booktitle = "In Proceedings of European Semantic Web Conference",
  pages = "272-289",
}
@conference{avesani2005a,
  title = "A large scale taxonomy mapping evaluation",
  author = "P. Avesani, F. Giunchiglia, M. Yatskevich",
  year = "2005",
  booktitle = "In Proceedings of International Semantic Web Conference",
  pages = "67-81",
}
@inproceedings{GlHo05a,
  title = "Handling Cyclic Conjunctive Queries",
  author = "Birte Glimm and Ian Horrocks",
  year = "2005",
  address = "Edinburgh, Scotland, UK",
  booktitle = "Proceedings of the 2005 Description Logic Workshop (DL 2005)",
  publisher = "CEUR Workshop Proceedings",
}
@inproceedings{SwoopIswc05,
  title = "Swoop: A Web Ontology Engineering Framework",
  author = "Aditya Kalyanpur and Bijan Parsia and Evren Sirin and Bernardo Cuenca Grau",
  year = "2005",
  booktitle = "Proceedings ISWC 2005, the 4th International Semantic Web Conference (Poster Track)",
}
@inproceedings{DBLP:conf/premi/GolbeckGHKPSSH05,
  title = "Semantic Web Research Trends and Directions",
  author = "Jennifer Golbeck and Bernardo {Cuenca Grau} and Christian Halaschek-Wiener and Aditya Kalyanpur and Bijan Parsia and Andrew Schain and Evren Sirin and James A. Hendler",
  year = "2005",
  booktitle = "Pattern Recognition and Machine Intelligence, First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings",
  pages = "160-169",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
}
@inproceedings{GrauOWLEd05,
  title = "Representing Qualitative Spatial Information in {OWL DL}",
  author = "Yarden Katz and Bernardo {Cuenca Grau}",
  year = "2005",
  booktitle = "Proceedings of the First International Workshop: OWL Experiences and Directions. Galway, Ireland, November 2005",
}
@inproceedings{GrauKCAP05,
  title = "Modularizing {OWL} Ontologies",
  author = "Bernardo {Cuenca Grau} and Bijan Parsia and Evren Sirin and Aditya Kalyanpur",
  year = "2005",
  booktitle = "Proceedings of the KCAP 2005 Workshop on Ontology Management. Banff, Canada, October 2005",
}
@inproceedings{iswc2005,
  title = "Modularizing OWL Ontologies",
  author = "Bernardo Cuenca Grau and Bijan Parsia and Evren Sirin and Aditya Kalyanpur",
  year = "2005",
  booktitle = "Proceedings of the 4th International Semantic Web Conference (Poster Track)",
}
@inproceedings{DBLP:conf/aaai/ParsiaG05,
  title = "Generalized Link Properties for Expressive $\mathcal{E}$-connections of Description Logics.",
  author = "Bijan Parsia and Bernardo {Cuenca Grau}",
  year = "2005",
  booktitle = "Proceedings, The Twentieth National Conference on Artificial Intelligence (AAAI-2005), July 9-13, 2005, Pittsburgh, Pennsylvania, USA",
  pages = "657-662",
  publisher = "AAAI Press / The MIT Press",
  url = "http://www.comlab.ox.ac.uk/people/bernardo.cuenca.grau/publications/AAAI05-103.pdf",
}
@inproceedings{GrauDL05,
  title = "Automatic Partitioning of {OWL} Ontologies Using $\mathcal{E}$-connections",
  author = "Bernardo {Cuenca Grau} and Bijan Parsia and Evren Sirin and Aditya Kalyanpur",
  year = "2005",
  booktitle = "DL 2005, Proceedings of the 18th International Workshop on Description Logics, Edinburgh, UK, 2005",
}
@techreport{KazNiv:04:ResGFTG:TR,
  title = "Resolution Decision Procedures for the Guarded Fragment with Transitive Guards",
  author = "Yevgeny Kazakov and Hans de Nivelle",
  year = "2004",
  address = "Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany",
  institution = "Max-Planck-Institut f{\"u}r Informatik",
  issn = "0946-011X",
  month = "April",
  number = "MPI-I-2004-2-001",
}
@misc{BscThesis,
  title = "{Semantic Knowledge and Information Management in the Semantic Web}",
  author = "H{\'e}ctor P{\'e}rez-Urbina",
  year = "2004",
  address = "Puebla, Mexico",
  institution = "Universidad de las Am{\'e}ricas, Puebla",
  month = "December",
  note = "{BSc. Thesis}",
}
@conference{guinchiglia2004a,
  title = "S-Match: an Algorithm and an Implementation of Semantic Matching",
  author = "F. Giunchiglia, P. Shvaiko, M. Yatskevich",
  year = "2004",
  booktitle = "In Proceedings of ESWS",
  pages = "61-75",
}
@inproceedings{giunchiglia2004b,
  title = "Element level semantic matching",
  author = "F. Giunchiglia, M. Yatskevich",
  year = "2004",
  booktitle = "In Proceedings of Meaning Coordination and Negotiation workshop",
}
@inproceedings{KazNiv:04:ResGFTG,
  title = "A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.",
  author = "Yevgeny Kazakov and Hans de Nivelle",
  year = "2004",
  booktitle = "IJCAR",
  pages = "122-136",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/content/h3eh98tm043qtm1d/?p=b00e744c6c994444aca26ff1110b45dc&pi=6",
  volume = "3097",
}
@inproceedings{Kazakov:04:ResGFTG:DP,
  title = "A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.",
  author = "Yevgeny Kazakov",
  year = "2004",
  booktitle = "IJCAR Doctoral Programme",
  series = "CEUR Workshop Proceedings",
  url = "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-106/06-kazakov.pdf",
  volume = "106",
}
@inproceedings{Kazakov:04:GF2N,
  title = "A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.",
  author = "Yevgeny Kazakov",
  year = "2004",
  booktitle = "JELIA",
  pages = "372-384",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/content/mf9qwrdae400ce36/?p=13074e546716423e8572164c5fc128de&pi=0",
  volume = "3229",
}
@inproceedings{GlHo04a,
  title = "Query Answering Systems in the Semantic Web",
  author = "Birte Glimm and Ian Horrocks",
  year = "2004",
  booktitle = "CEUR workshop proceedings of KI-2004 Workshop on Applications of Description Logics (ADL 2004)",
  location = "Ulm, Germany",
}
@inproceedings{DBLP:conf/semweb/GrauPS04,
  title = "Working with Multiple Ontologies on the Semantic Web.",
  author = "Bernardo {Cuenca Grau} and Bijan Parsia and Evren Sirin",
  year = "2004",
  booktitle = "International Semantic Web Conference",
  pages = "620-634",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/people/bernardo.cuenca.grau/publications/multipleOnt.pdf",
  volume = "3298",
}
@inproceedings{DBLP:conf/dlog/GrauP04,
  title = "From SHOQ(D) Toward $\mathcal{E}$-connections",
  author = "Bernardo Cuenca Grau and Bijan Parsia",
  year = "2004",
  booktitle = "Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004",
  publisher = "CEUR-WS.org",
  volume = "104",
}
@inproceedings{DBLP:conf/www/Grau04,
  title = "A possible simplification of the semantic web architecture",
  author = "Bernardo Cuenca Grau",
  year = "2004",
  booktitle = "Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004",
  pages = "704-713",
  publisher = "ACM",
}
@techreport{PFTS04a,
  title = "Specification of Coordination of Rule and Ontology Languages",
  author = "Jeff Z. Pan and Enrico Franconi and Sergio Tessaris and Giorgos Stamou and Vassilis Tzouvaras and Luciano Serafini and Ian Horrocks and Birte Glimm",
  year = "2004",
  institution = "The Knowledge Web project",
}
@techreport{PFTG04a,
  title = "Report on Query Language Design and Standardisation",
  author = "Jeff Z. Pan and Enrico Franconi and Sergio Tessaris and Birte Glimm and Wolf Siberski and Giorgos Stamou and Vassilis Tzouvaras and Ian Horrocks and Lei Li and Holger Wache",
  year = "2004",
  institution = "The Knowledge Web project",
}
@unpublished{Kazakov:04:CombRes,
  title = "Combining Resolution Decision Procedures",
  author = "Yevgeny Kazakov",
  year = "2004",
  note = "unpublished manuscript, available from \url{http://web.comlab.ox.ac.uk/oucl/work/yevgeny.kazakov/publications/}",
}
@misc{Glim04a,
  title = "A Query Language for Web Ontologies",
  author = "Birte Glimm",
  year = "2004",
  note = "Bachelor Report, Hamburg University of Applied Sciences",
}
@inproceedings{ENC03,
  title = "{Un Experimento con Actualizaciones}",
  author = "Alejandra L{\'o}pez-Fern\{'a}dez and Roc\{'i}o Santill\{'a}n-Rodr\{'i}guez and H\{'e}ctor P\{'e}rez-Urbina and Luis Montiel-Moreno",
  year = "2003",
  address = "Tlaxcala, Mexico",
  booktitle = "Proc. of the Workshop on Logic and Agents (ENC 2003)",
  isbn = "970-36-0069-7",
  month = "September",
}
@techreport{KazNiv:03:SubsumptionFLzero:TR,
  title = "Subsumption of concepts in $DL$ $\mathcal{FL}_0$ for (cyclic) terminologies with respect to descriptive semantics is {PSPACE}-complete",
  author = "Yevgeny  Kazakov and Hans de Nivelle",
  year = "2003",
  address = "Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany",
  institution = "Max-Planck-Institut f{\"u}r Informatik",
  issn = "0946-011X",
  month = "April",
  number = "MPI-I-2003-2-003",
}
@inproceedings{Kazakov:03:SubsumptionFLzero,
  title = "Subsumption of Concepts in {$\mathcal{FL}_0$} for (Cyclic) Terminologies with Respect to Descriptive Semantics is {PSPACE}-complete.",
  author = "Yevgeny Kazakov and Hans de Nivelle",
  year = "2003",
  booktitle = "Description Logics",
  series = "CEUR Workshop Proceedings",
  url = "http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/kazakov.pdf",
  volume = "81",
}
@inproceedings{Kazakov:02:RecResML,
  title = "Recursive resolution for modal logic",
  author = "Yevgeny  Kazakov",
  year = "2002",
  address = "Saarbr{\"u}cken, Germany",
  booktitle = "Proceedings of the Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi",
  month = "March",
  organization = "International Max Planck Research School for Computer Science (IMPRS)",
  pages = "11--15",
  publisher = "Max-Planck-Institut f{\"u}r Informatik",
  series = "Max-Planck-Institut f{\"u}r Informatik Research Report",
  volume = "MPI-I-2002-2-007",
}
@techreport{ArtKazShap:99:Knowledge:TR,
  title = "On logic of knowledge with justifications",
  author = "Artemov, S. and Kazakov, E. and Shapiro, D.",
  year = "1999",
  institution = "Cornell University",
  number = "CFIS 99-12",
}