Knowledge Representation and Reasoning: Publications
|
[1] |
A Novel Approach to Ontology Classification Birte Glimm‚ Ian Horrocks‚ Boris Motik‚ Rob Shearer and Giorgos Stoilos In Journal of Web Semantics: Science‚ Services and Agents on the World Wide Web‚ Accepted. 2012. |
|
[2] |
LogMap results for OAEI 2011 E. Jiménez−Ruiz‚ A. Morant and B. Cuenca Grau In Proc. of the 6th International Workshop on Ontology Matching (OM). Vol. 814. CEUR Workshop Proceedings (CEUR−WS.org). 2011. http://ceur−ws.org/Vol−814/ |
|
[3] |
Towards more challenging problems for ontology matching tools E. Jiménez−Ruiz and B. Cuenca Grau In Proc. of the 6th International Workshop on Ontology Matching (OM). Vol. 814. CEUR Workshop Proceedings (CEUR−WS.org). 2011. |
|
[4] |
LogMap: Logic−Based and Scalable Ontology Matching Ernesto Jiménez−Ruiz and Bernardo Cuenca Grau In International Semantic Web Conference (ISWC). Vol. 7031 of Lecture Notes in Computer Science. Pages 273−288. Springer. October, 2011. |
|
[5] |
Describing Images Using Qualitative Models and Description Logics Zoe Falomir‚ Ernesto Jiménez−Ruiz‚ M. Teresa Escrig and Lledó Museros In Spatial Cognition & Computation. Vol. 11. No. 1. Pages 45−74. 2011. |
|
[6] |
Concurrent Classification of EL Ontologies Yevgeny Kazakov‚ Markus Krötzsch and František Simančík 2011. |
|
[7] |
Status QIO: An Update Birte Glimm‚ Yevgeny Kazakov and Carsten Lutz In Proceedings of the 2011 International Workshop on Description Logic (DL 2011). CEUR Workshop Proceedings. 2011. To Appear |
|
[8] |
Status QIO: An Update Birte Glimm‚ Yevgeny Kazakov and Carsten Lutz The University of Oxford. 2011. |
|
[9] |
SPARQL Query Answering over OWL Ontologies Ilianna Kollia‚ Birte Glimm and Ian Horrocks In Proceedings of the 8th Extended Semantic Web Conference (ESWC 2011). Springer Verlag. 2011. To Appear |
|
[10] |
Reasoning−Supported Interactive Revision of Knowledge Bases Nadeschda Nikitina‚ Sebastian Rudolph and Birte Glimm In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). AAAI Press/The MIT Press. 2011. To Appear |
|
[11] |
Reasoning−Supported Interactive Revision of Knowledge Bases Nadeschda Nikitina‚ Sebastian Rudolph and Birte Glimm In Proceedings of the 2011 International Workshop on Description Logic (DL 2011). 2011. To Appear |
|
[12] |
Query Answering over SROIQ Knowledge Bases with SPARQL Ilianna Kollia‚ Birte Glimm and Ian Horrocks In Proceedings of the 2011 International Workshop on Description Logic (DL 2011). 2011. To Appear |
|
[13] |
Answering Queries over OWL Ontologies with SPARQL Ilianna Kollia‚ Birte Glimm and Ian Horrocks In Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011). 2011. |
|
[14] |
Supporting concurrent ontology development: Framework‚ algorithms and tool Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga In Data and Knowledge Engineering. Vol. 70:1. January, 2011. |
|
[15] |
Logic−based Assessment of the Compatibility of UMLS Ontology Sources Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga In BMC Journal of Biomedical Semantics. Vol. 2. 2011. |
|
[16] |
What to ask to an incomplete Semantic Web reasoner? Bernardo Cuenca Grau and Giorgos Stoilos In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI−2011). Pages 2226−2231. 2011. |
|
[17] |
Logic−based support for Ontology Development in Open Environments Ernesto Jimenez−Ruiz PhD Thesis 2010. |
|
[18] |
Semantic Matching with S−Match Pavel Shvaiko‚ Fausto Giunchiglia and Mikalai Yatskevich In Semantic Web Information Management: Model−Based perspective. Vol. Part 2. Pages 183−202. 2010. |
|
[19] |
Beazley: a new storage systems evaluation Mikalai Yatskevich‚ Ian Horrocks and Graham Klyne In Proceedings of the International Workshop on Evaluation of Semantic Technologies (IWEST 2010). 2010. |
|
[20] |
Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics Jeff Z. Pan Giorgos Stoilos Giorgos Stamou In International Journal of Approximate Reasoning. 2010. |
|
[21] |
Tractabe Extensions of the Description Logic EL with Numerical Datatypes. Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks 2010. |
|
[22] |
Tractabe Extensions of the Description Logic EL with Numerical Datatypes. Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks. 2010. |
|
[23] |
Tractabe Extensions of the Description Logic EL with Numerical Datatypes Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks 2010. |
|
[24] |
Incremental Classification of Description Logics Ontologies Cuenca Grau‚ Bernardo‚ Christian Halaschek−Wiener‚ Yevgeny Kazakov and Boontawee Suntisrivaraporn In Journal of Automated Reasoning. Vol. 44. No. 4. Pages 337−369. 2010. |
|
[25] |
Tractable Extensions of the Description Logic EL with Numerical Datatypes Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks In In Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). Springer. 2010. |
|
[26] |
Tractable Extensions of the Description Logic EL with Numerical Datatypes Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks In Description Logics. Vol. 573 of CEUR Workshop Proceedings. CEUR−WS.org. 2010. |
|
[27] |
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ Yevgeny Kazakov In Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). Springer. 2010. |
|
[28] |
SPARQL Beyond Subgraph Matching Birte Glimm and Markus Krötzsch In Proceedings of the 9th International Semantic Web Conference (ISWC 2010). Vol. 6496 of LNCS. Pages 241−256. Springer Verlag. 2010. |
|
[29] |
Integrated Metamodeling and Diagnosis in OWL 2 Birte Glimm‚ Sebastian Rudolph and Johanna Völker In Proceedings of the 9th International Semantic Web Conference (ISWC 2010). Vol. 6496 of LNCS. Pages 257−272. Springer Verlag. 2010. |
|
[30] |
Integrated Metamodeling and Diagnosis in OWL 2 Birte Glimm‚ Sebastian Rudolph and Johanna Völker No. 3006. Institut AIFB‚ KIT. September, 2010. Technical Report |
|
[31] |
Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries Sebastian Rudolph and Birte Glimm In Journal of Artificial Intelligence Research. Vol. 39. Pages 429−481. 2010. To Appear |
|
[32] |
Status QIO: Conjunctive Query Entailment is Decidable Birte Glimm and Sebastian Rudolph In Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR−10). AAAI Press/The MIT Press. 2010. |
|
[33] |
Optimized DL Reasoning via Core Blocking Birte Glimmand Ian Horrocks and Boris Motik In Proceedings of the 2010 Description Logic Workshop (DL 2010). Vol. 573. Pages 209−219. CEUR. 2010. |
|
[34] |
Optimized DL Reasoning via Core Blocking Birte Glimm‚ Ian Horrocks and Boris Motik Oxford University Computing Laboratory. 2010. Technical Report |
|
[35] |
Optimized Description Logic Reasoning via Core Blocking Birte Glimm‚ Ian Horrocks and Boris Motik In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010). 2010. |
|
[36] |
Optimising Ontology Classification Birte Glimm‚ Ian Horrocks‚ Boris Motik and Giorgos Stoilos In Proceedings of the 9th International Semantic Web Conference (ISWC 2010). Vol. 6496 of LNCS. Pages 225−240. Springer Verlag. 2010. |
|
[37] |
Optimising Ontology Classification Birte Glimm‚ Ian Horrocks‚ Boris Motik and Giorgos Stoilos Oxford University Computing Laboratory. 2010. Technical Report |
|
[38] |
Incremental Classification of Description Logics Ontologies Bernardo Cuenca Grau‚ Christian Halaschek−Wiener‚ Yevgeny Kazakov and Boontawee Suntisrivaraporn In Journal of Automated Reasoning (JAR). Vol. 44. No. 4. Pages 337−369. April, 2010. |
|
[39] |
Pushing the Limits of Reasoning over Ontologies with Hidden Content Bernardo Cuenca Grau and Boris Motik In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). Pages 214−224. AAAI Press. 2010. |
|
[40] |
How Incomplete is your Semantic Web Reasoner? Giorgos Stoilos‚ Bernardo Cuenca Grau and Ian Horrocks In Proceedings of the Twenty−Fourth AAAI Conference on Artificial Intelligence (AAAI 2010). Pages 1431−1436. AAAI Press. 2010. Outstanding Paper Award Winner |
|
[41] |
Completeness Guarantees for Incomplete Reasoners Giorgos Stoilos‚ Bernardo Cuenca Grau and Ian Horrocks In Proceedings of the Ninth International Semantic Web Conference (ISWC 2010). Springer. 2010. |
|
[42] |
XML−based approaches for the integration of heterogeneous bio−molecular data Marco Mesiti‚ Ernesto Jiménez−Ruiz‚ Ismael Sanz‚ Rafael Berlanga Llavori‚ Paolo Perlasca‚ Giorgio Valentini and David Manset In BMC Bioinformatics. Vol. 10. No. S−12. Pages 7. 2009. |
|
[43] |
Reuse of terminological resources for efficient ontological engineering in Life Sciences Antonio Jimeno−Yepes‚ Ernesto Jiménez−Ruiz‚ Rafael Berlanga Llavori and Dietrich Rebholz−Schuhmann In BMC Bioinformatics. Vol. 10. No. S−10. Pages 4. 2009. |
|
[44] |
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga In Proc. of the 6th European Semantic Web Conference (ESWC 2009). Springer. June, 2009. |
|
[45] |
A Large Scale Dataset for the Evaluation of Ontology Matching Systems P. Shvaiko F. Giunchiglia M. Yatskevich P. Avesani In The Knowledge Engineering Review Journal. Vol. 24(2). Pages 137−157. 2009. |
|
[46] |
Tractable Query Answering and Rewriting under Description Logic Constraints Héctor Pérez−Urbina‚ Boris Motik and Ian Horrocks In Journal of Applied Logic. 2009. to appear |
|
[47] |
Efficient Query Answering for OWL 2 Héctor Pérez−Urbina‚ Ian Horrocks and Boris Motik October, 2009. to appear |
|
[48] |
A Comparison of Query Rewriting Techniques for DL−Lite Héctor Pérez−Urbina‚ Boris Motik and Ian Horrocks In In Proc. of the Int. Workshop on Description Logics (DL2009). Oxford‚ UK.. July, 2009. |
|
[49] |
Practical Considerations for Query Answering in OWL 2 Héctor Pérez−Urbina‚ Ian Horrocks and Boris Motik In In Proc. of the OWL: Experiences and Directions Workshop (OWLED2009). Chantilly‚ VA‚ USA.. October, 2009. |
|
[50] |
Consequence−based Datatype Reasoning in EL: Identifying the Tractable Fragments Despoina Magka Master's Thesis 2009. |
|
[51] |
Import−by−Query: Ontology Reasoning under Access Limitations Bernardo Cuenca Grau‚ Boris Motik and Yevgeny Kazakov In Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009). Pages 727−732. , 2009. |
|
[52] |
Extracting Modules from Ontologies: A Logic−Based Approach Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In Heiner Stuckenschmidt‚ Christine Parent and Stefano Spaccapietra, editors, Modular Ontologies. Vol. 5445 of Lecture Notes in Computer Science. Pages 159−186. Springer. 2009. |
|
[53] |
Consequence−Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov In Bernardo Cuenca Grau‚ Ian Horrocks‚ Boris Motik and Ulrike Sattler, editors, Proceedings of the 22nd International Workshop on Description Logics (DL 2009). Vol. 477. Oxford‚ United Kindgom. July, 2009. CEUR Workshop Proceedings. |
|
[54] |
Consequence−Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov In Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009). Pages 2040−2045. , 2009. |
|
[55] |
Classifying ELH Ontologies In SQL Databases Vincent Delaitre and Yevgeny Kazakov In OWL: Experiences and Directions 2009 (OWLED 2009). Chantilly‚ VA‚ United States. , 2009. |
|
[56] |
Classifying ELH Ontologies in SQL Databases Vincent Delaitre and Yevgeny Kazakov The University of Oxford. 2009. |
|
[57] |
An Extension of Regularity Conditions for Complex Role Inclusion Axioms Yevgeny Kazakov In Bernardo Cuenca Grau‚ Ian Horrocks‚ Boris Motik and Ulrike Sattler, editors, Proceedings of the 22nd International Workshop on Description Logics (DL 2009). Vol. 477. Oxford. July, 2009. CEUR Workshop Proceedings. |
|
[58] |
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics Yevgeny Kazakov and Ian Pratt−Hartmann In Proc. of LICS 2009. Pages 407−416. IEEE Computer Society. , 2009. |
|
[59] |
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics Yevgeny Kazakov and Ian Pratt−Hartmann arxiv.org. 2009. arXiv:0905.3108v1‚ posted on http://arxiv.org |
|
[60] |
Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries or Why Infinity is your Friend! Birte Glimm and Sebastian Rudolph Oxford University Compting Laboratory. 2009. Technical Report |
|
[61] |
Conjunctive Query Entailment: Decidable in Spite of O‚ I‚ and Q Birte Glimm and Sebastian Rudolph In Proceedings of the of the 2000 Description Logic Workshop (DL−09). CEUR Workshop Proceedings. 2009. |
|
[62] |
A Syntax for Rules in OWL 2 Birte Glimm‚ Matthew Horridge‚ Bijan Parsia and Peter F. Patel−Schneider In Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009). Vol. 529. CEUR. 2009. |
|
[63] |
A Syntax for Rules in OWL 2 Birte Glimm‚ Matthew Horridge‚ Bijan Parsia and Peter F. Patel−Schneider Oxford University Computing Laboratory. 2009. Technical Report |
|
[64] |
Representing Ontologies Using Description Logics‚ Description Graphs and Rules Boris Motik‚ Bernardo Cuenca Grau‚ Ian Horrocks and Ulrike Sattler In Artificial Intelligence (AIJ). Vol. 173. No. 14. Pages 1275–1309. 2009. |
|
[65] |
Ontology Integration Using E−connections Bernardo Cuenca Grau‚ Bijan Parsia and Evren Sirin In Heiner Stuckenschmidt and Stefano Spaccapietra, editors, Modular Ontologies: Concepts‚ Theories and Techniques for Knowledge Modularization. Springer. 2009. |
|
[66] |
Extracting Modules from Ontologies: A Logic−based Approach Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In Heiner Stuckenschmidt and Stefano Spaccapietra, editors, Modular Ontologies: Concepts‚ Theories and Techniques for Knowledge Modularization. Springer. 2009. |
|
[67] |
Towards a Logic−based Assessment of the compatibility of UMLS sources Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga In Proceedings of the International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009). 2009. |
|
[68] |
Proceedings of the 22nd International Workshop on Description Logics
|
|
[69] |
OWL 2 Web Ontology Language: Profiles Boris Motik‚ Bernardo Cuenca Grau‚ Ian Horrocks‚ Zhe Wu‚ Achille Fokoue and Carsten Lutz World Wide Web Consortium (W3C) Recommendation. 2009. |
|
[70] |
OWL 2 Web Ontology Language: Direct Semantics Peter F. Patel−Schneider Boris Motik and Bernardo Cuenca Grau World Wide Web Consortium (W3C) Recommendation. 2009. |
|
[71] |
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga In Proc. of the 6th European Semantic Web Conference (ESWC 2009). Springer. June, 2009. |
|
[72] |
Importing Ontologies with Hidden Content Bernardo Cuenca Grau and Boris Motik In Proceedings of the 22nd International Workshop on Description Logics (DL 2009). 2009. |
|
[73] |
Import−by−Query: Ontology Reasoning under Access Limitations Bernardo Guenca Grau‚ Boris Motik and Yevgeny Kazakov In n Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009). AAAI Press. 2009. |
|
[74] |
ContentCVS: A CVS−based Collaborative ONTology ENgineering Tool (Demo Paper) Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga In Proceedings of the International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009). 2009. |
|
[75] |
Building Ontologies Collaboratively Using ContentCVS Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga In Proceedings of the 22nd International Workshop on Description Logics (DL 2009). 2009. |
|
[76] |
Assessment of disease named entity recognition on a corpus of annotated sentences Antonio Jimeno−Yepes‚ Ernesto Jiménez−Ruiz‚ Vivian Lee‚ Sylvain Gaudan‚ Rafael Berlanga Llavori and Dietrich Rebholz−Schuhmann In BMC Bioinformatics. Vol. 9. No. S−3. 2008. |
|
[77] |
Medical Data Integration and the Semantic Annotation of Medical Protocols Rafael Berlanga Llavori‚ Ernesto Jiménez−Ruiz‚ Victoria Nebot‚ David Manset‚ Andrew Branson‚ Tamas Hauer‚ Richard McClatchey‚ Dmitri Rogulin‚ Jetendr Shamdasani‚ Sonja Zillner and Joerg Freund In Proceedings of the Twenty−First IEEE International Symposium on Computer−Based Medical Systems (CBMS)‚ June 17−19‚ 2008‚ Jyväskylä‚ Finland. Pages 644−649. 2008. |
|
[78] |
Approximate Structure−Preserving Semantic Matching P. Shvaiko F. Giunchiglia F. McNeill M. Yatskevich J. Pane P. Besana In In Proceedings of ODBASE. Pages 1217−1234. 2008. |
|
[79] |
Rewriting Conjunctive Queries under Description Logic Constraints Héctor Pérez−Urbina‚ Boris Motik and Ian Horrocks In Proc. of the Int. Workshop on Logics in Databases (LID 2008). Rome‚ Italy. May, 2008. |
|
[80] |
Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report) Héctor Pérez−Urbina‚ Boris Motik and Ian Horrocks University of Oxford. February, 2008. |
|
[81] |
Rewriting Conjunctive Queries over Description Logic Knowledge Bases Héctor Pérez−Urbina‚ Boris Motik and Ian Horrocks In Proc. of the Int. Workshop on Semantics in Data and Knowledge Bases (SDKB 2008). Nantes‚ France. March, 2008. Springer. |
|
[82] |
A Resolution−Based Decision Procedure for SHOIQ Yevgeny Kazakov and Boris Motik In Journal of Automated Reasoning. Vol. 40. No. 2−3. Pages 89−116. 2008. |
|
[83] |
Modular Reuse of Ontologies: Theory and Practice Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In JAIR. Vol. 31. Pages 273−318. 2008. |
|
[84] |
SRIQ and SROIQ are Harder than SHOIQ Yevgeny Kazakov In Franz Baader‚ Carsten Lutz and Boris Motik, editors, DL 2008. Vol. 353 of CEUR Workshop Proceedings. CEUR−WS.org. 2008. to |
|
[85] |
Role Conjunctions in Expressive Description Logics Birte Glimm and Yevgeny Kazakov In LPAR. Vol. 5330 of Lecture Notes in Computer Science. Pages 391−405. Springer. 2008. |
|
[86] |
Role Conjunctions in Expressive Description Logics Birte Glimm and Yevgeny Kazakov The University of Oxford. 2008. |
|
[87] |
RIQ and SROIQ are Harder than SHOIQ Yevgeny Kazakov In Gerhard Brewka and Jérôme Lang, editors, KR 2008. Pages 274−284. AAAI Press. 2008. |
|
[88] |
Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm‚ Ian Horrocks‚ Carsten Lutz and Uli Sattler In Journal of Artificial Intelligence Research. Vol. 31. Pages 151–198. 2008. |
|
[89] |
Unions of Conjunctive Queries in SHOQ Birte Glimm‚ Ian Horrocks and Ulrike Sattler In Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR−08). Pages 252−262. AAAI Press/The MIT Press. 2008. |
|
[90] |
Role Conjunctions in Expressive Description Logics Birte Glimm and Yevgeny Kazakov In Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR 2008). Vol. 5330 of Lecture Notes in Computer Science. Pages 391−405. Springer Verlag. 2008. |
|
[91] |
Modeling Ontologies Using OWL‚ Description Graphs and Rules Boris Motik‚ Bernardo Cuenca Grau‚ Ian Horrocks and Ulrike Sattler In Proc. of OWLEd 2008: OWL Experiences and Directions Workshop. 2008. |
|
[92] |
OWL 2: The Next Step for OWL Bernardo Cuenca Grau‚ Ian Horrocks‚ Boris Motik‚ Bijan Parsia‚ Peter Patel−Schneider and Ulrike Sattler In Journal of Web Semantics. Vol. 6. No. 4. Pages 309−322. 2008. |
|
[93] |
Modular Reuse of Ontologies: Theory and Practice Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In J. of Artificial Intelligence Research (JAIR). Vol. 31. Pages 273−318. 2008. |
|
[94] |
Structured Objects in OWL: Representation and Reasoning Boris Motik‚ Bernardo Cuenca Grau and Ulrike Sattler In Karl Aberer‚ Key−Sun Choi‚ Natasha Fridman Noy‚ Dean Allemang‚ Kyung−Il Lee‚ Lyndon J. B. Nixon‚ Jennifer Golbeck‚ Peter Mika‚ Diana Maynard‚ Riichiro Mizoguchi‚ Guus Schreiber and Philippe Cudré−Mauroux, editors, Proc. of the 17th Int. World Wide Web Conference (WWW 2008). Pages 169–182. Beijing‚ China. , 2008. ACM Press. |
|
[95] |
The Representation of Structured Objects in DLs using Description Graphs Boris Motik‚ Bernardo Cuenca Grau and Ulrike Sattler In The 21st international Description Logics Workshop (DL−2008). 2008. |
|
[96] |
Safe and Economic re−use of ontologies: a logic−based methodology and tool support Ernesto Jimenez−Ruiz‚ Bernardo Cuenca Grau‚ Thomas Schneider‚ Ulrike Sattler and Rafael Berlanga In OWLEd 2008‚ Proceedings of the 4th International Workshop: OWL Experiences and Directions‚ April 1−2‚ 2008. 2008. Another version of this paper will also appear in Procedings of the 21st Description Logics Workshop (DL−2008) |
|
[97] |
Safe and Economic re−use of ontologies: a logic−based methodology and tool support Ernesto Jimenez−Ruiz‚ Bernardo Cuenca Grau‚ Thomas Schneider‚ Ulrike Sattler and Rafael Berlanga In ESWC 2008‚ Proceedings of the 5th European Semantic Web Conference‚ Tenerife‚ Spain‚ June 1−5‚ 2008. Springer LNCS. 2008. |
|
[98] |
Representing Structured Objects using Description Graphs Boris Motic‚ Bernardo Cuenca Grau‚ Ian Horrocks and Ulrike Sattler In 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR−2008). 2008. |
|
[99] |
Privacy−preserving Query Answering in Logic−based Information Systems Bernardo Cuenca Grau and Ian Horrocks In 18th European Conference on Artificial Intelligence (ECAI−2008). IOS Press. 2008. |
|
[100] |
Metalevel Information in Ontology−Based Applications Duc Thanh Tran‚ Peter Haase‚ Bernardo Cuenca Grau‚ Boris Motik and Ian Horrocks In Proceedings of the 23thrd National Conference on Artificial Intelligence (AAAI 2008). AAAI Press. July, 2008. |
|
[101] |
OntoPath: A Language for Retrieving Ontology Fragments Ernesto Jiménez−Ruiz‚ Rafael Berlanga Llavori‚ Victoria Nebot and Ismael Sanz In On the Move to Meaningful Internet Systems‚ ODBASE. Vol. 4803 of Lecture Notes in Computer Science. Pages 897−914. Springer. 2007. |
|
[102] |
Semantic Matching: Algorithms and Implementation P. Shvaiko F. Giunchiglia M. Yatskevich In Journal on Data Semantics. Vol. IX. Pages 1−38. 2007. |
|
[103] |
Structure preserving semantic matching M. Yatskevich F. Giunchiglia P. Shvaiko In In Proceedings of the International Workshop on Ontology Matching. 2007. |
|
[104] |
Background knowledge in ontology matching M. Yatskevich F. Giunchiglia P. Shvaiko In In Bertinoro Workshop on Information Integration. 2007. |
|
[105] |
Logic−based Information Integration Héctor Pérez−Urbina University of Manchester. January, 2007. 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 |
|
[106] |
Ontology Reuse: Better Safe than Sorry. Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In Description Logics. Pages 41–52. Brixen/Bressanone‚ Italy. , 2007. Bozen/Bolzano University Press. |
|
[107] |
Just the Right Amount: Extracting Modules from Ontologies. Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In WWW. Pages 717–726. Banff‚ Canada. May, 2007. ACM. |
|
[108] |
Is Your RBox Safe? Yevgeny Kazakov‚ Ulrike Sattler and Evgeny Zolin The University of Manchester. Oxford Road‚ Manchester M13 9PL‚ UK. July, 2007. |
|
[109] |
How Many Legs Do I Have? Non−Simple Roles in Number Restrictions Revisited Yevgeny Kazakov‚ Ulrike Sattler and Evgeny Zolin In LPAR. Vol. 4790 of Lecture Notes in Computer Science. Pages 303−317. Springer. 2007. |
|
[110] |
History Matters: Incremental Ontology Reasoning Using Modules Bernardo Cuenca Grau‚ Christian Halaschek−Wiener and Yevgeny Kazakov In ISWC/ASWC. Vol. 4825 of Lecture Notes in Computer Science. Pages 183−196. Springer. 2007. |
|
[111] |
Extracting Modules from Ontologies: Theory and Practice Cuenca Grau‚ Bernardo‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler The University of Manchester. Oxford Road‚ Manchester M13 9PL‚ UK. February, 2007. |
|
[112] |
Extracting Modules From Ontologies: A Logic−based Approach Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In OWL: Experiences and Directions 2007 (OWLED 2007). Innsbruck‚ Austria. , 2007. |
|
[113] |
A Logical Framework for Modularity of Ontologies. Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In IJCAI. Pages 298−303. 2007. |
|
[114] |
Hybrid Logics and Ontology Languages Ian Horrocks an Birte Glimm and Ulrike Sattler In Electronic Notes in Theoretical Computer Science. Vol. 174. No. 6. Pages 3−14. 2007. Proceedings of the International Workshop on Hybrid Logic (HyLo 2006) |
|
[115] |
Querying Description Logic Knowledge Bases Birte Glimm PhD Thesis The University of Manchester. Manchester‚ United Kingdom. 2007. |
|
[116] |
Conjunctive Query Entailment for SHOQ Birte Glimm‚ Ian Horrocks and Uli Sattler In Proceedings of the 2007 Description Logic Workshop (DL 2007). 2007. |
|
[117] |
Conjunctive Query Answering in the Description Logic SHIQ Birte Glimm‚ Ian Horrocks‚ Carsten Lutz and Uli Sattler In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007). 2007. |
|
[118] |
Pellet: A Practical OWL DL Reasoner Evren Sirin‚ Bijan Parsia‚ Bernardo Cuenca Grau‚ Aditya Kalyanpur and Yarden Katz In Journal of Web Semantics. Vol. 5. No. 2. Pages 51–53. 2007. |
|
[119] |
Proceedings of the 2nd International Workshop on Modular Ontologies‚ WoMO 2007
|
|
[120] |
Ontology Reuse: Better Safe than Sorry Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In DL 2007‚ Proceedings of the 20th International Workshop on Description Logics‚ Brixen‚ Italy‚ June 8−10‚ 2007. 2007. |
|
[121] |
Modular Ontology Languages Revisited Bernardo Cuenca Grau and Oliver Kutz In SWeCKa 2007: Proc. of the IJCAI−2007 Workshop on Semantic Web for Collaborative Knowledge Acquisition ‚ Hyderabad‚ India‚ January 7‚ 2007. 2007. |
|
[122] |
Just the Right Amount: Extracting Modules from Ontologies Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In WWW 2007‚ Proceedings of the 16th International World Wide Web Conference‚ Banff‚ Canada‚ May 8−12‚ 2007. Pages 717−727. 2007. |
|
[123] |
History Matters: Incremental Ontology Reasoning Using Modules Bernardo Cuenca Grau‚ Christian Halasheck−Wiener and Yevgeny Kazakov In Proceedings of the 6th International Semantic Web Conference (ISWC−2007)‚ Busan‚ Korea‚ November 11−15 2007‚ Lecture Notes in Computer Science Vol. 4825. Springer. 2007. |
|
[124] |
Extracting Modules from Ontologies: A Logic−based Approach Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In OWLEd 2007‚ Proceedings of the 3thrd International Workshop: OWL Experiences and Directions‚ Innsbruck‚ Austria June 6−8‚ 2007. 2007. |
|
[125] |
A Logical Framework for Modularity of Ontologies. Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler In IJCAI 2007‚ Proceedings of the 20th International Joint Conference on Artificial Intelligence‚ Hyderabad‚ India‚ January 6−12‚ 2007. Pages 298−303. 2007. |
|
[126] |
The Management and Integration of Biomedical Knowledge: Application in the Health−e−Child Project (Position Paper) Ernesto Jiménez−Ruiz‚ Rafael Berlanga Llavori‚ Ismael Sanz‚ Richard McClatchey‚ Roxana Dánger‚ David Manset‚ Jordi Paraire and A. Rios In On the Move to Meaningful Internet Systems‚ OnToContent. Vol. 4278 of Lecture Notes in Computer Science. Pages 1062−1067. Springer. 2006. |
|
[127] |
Discovering Missing Background Knowledge in Ontology Matching M. Yatskevich F. Giunchiglia P. Shvaiko In In Proceedings of ECAI'06. Pages 382−386. 2006. |
|
[128] |
First results of the ontology alignment evaluation initiative 2006 M. Yatskevich J. Euzenat M. Mochol O. Svab V. Svatek P. Shvaiko H. Stuckenschmidt W. van Hage In In Proceedings of Ontology Matching 2006 Workshop. 2006. |
|
[129] |
Coreference resolution on RDF Graphs generated from Information Extraction: first results J. Murdock M. Yatskevich C. Welty In In Proceedings of Web Content Mining with Human Language Technologies Workshop. 2006. |
|
[130] |
Saturation−Based Decision Procedures for Extensions of the Guarded Fragment Yevgeny Kazakov PhD Thesis Universität des Saarlandes. Saarbrücken‚ Germany. March, 2006. |
|
[131] |
A Resolution−Based Decision Procedure for SHOIQ. Yevgeny Kazakov and Boris Motik In IJCAR. Vol. 4130 of Lecture Notes in Computer Science. Pages 662−677. Springer. 2006. |
|
[132] |
Conjunctive Query Answering in the Description Logic SHIQ Birte Glimm‚ Ian Horrocks‚ Carsten Lutz and Uli Sattler No. LTCS−06−01. Chair for Automata Theory‚ Institute for Theoretical Computer Science‚ Dresden University of Technology. Germany. 2006. |
|
[133] |
Conjunctive Query Answering for Description Logics with Transitive Roles Birte Glimm‚ Ian Horrocks and Ulrike Sattler In Proceedings of the 2006 Description Logic Workshop (DL 2006). CEUR Workshop Proceedings. 2006. |
|
[134] |
Combining OWL ontologies using E−connections. Bernardo Cuenca Grau‚ Bijan Parsia and Evren Sirin In J. Web Semantics. Vol. 4. No. 1. Pages 40−59. 2006. |
|
[135] |
OWL Experiences And Directions Workshop Proceedings‚ 2006 Bernardo Cuenca Grau‚ Pascal Hitzler‚ Connor Shankey and Evan Wallace, editors Bernardo Cuenca Grau‚ Pascal Hitzler‚ Connor Shankey and Evan Wallace, editors |
|
[136] |
Will my Ontologies Fit Together? Bernardo Cuenca Grau‚ Ian Horrocks‚ Oliver Kutz and Ulrike Sattler In DL 2006‚ Proceedings of the 19th International Workshop on Description Logics‚ Lake District of the United Kingdom‚ UK‚ 2006. 2006. |
|
[137] |
Repairing Unsatisfiable Concepts in OWL Ontologies. Aditya Kalyanpur‚ Bijan Parsia‚ Evren Sirin and Bernardo Cuenca Grau In The Semantic Web: Research and Applications‚ 3rd European Semantic Web Conference‚ ESWC 2006‚ Budva‚ Montenegro‚ June 11−14‚ 2006‚ Proceedings. Vol. 4011 of Lecture Notes in Computer Science. Pages 170−184. Springer. 2006. |
|
[138] |
Next Steps for OWL Bernardo Cuenca Grau‚ Ian Horrocks‚ Peter Patel−Schneider and Ulrike Sattler In OWLEd 2006‚ Proceedings of the 2nd International Workshop: OWL Experiences and Directions‚ Athens‚ Georgia November 10−11‚ 2006. 2006. |
|
[139] |
Modularity and Web Ontologies. Bernardo Cuenca Grau‚ Bijan Parsia‚ Evren Sirin and Aditya Kalyanpur In 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. AAAI Press. 2006. |
|
[140] |
Integrating Datalog with OWL: Exploring the AL−log Approach. Edna Ruckhaus‚ Vladimir Kolovski‚ Bijan Parsia and Bernardo Cuenca Grau In Logic Programming‚ 22nd International Conference‚ ICLP 2006‚ Seattle‚ WA‚ USA‚ August 17−20‚ 2006‚ Proceedings. Vol. 4079 of Lecture Notes in Computer Science. Pages 455−456. Springer. 2006. |
|
[141] |
From Wine to Water: Optimizing Description Logic Reasoning for Nominals. Evren Sirin‚ Bernardo Cuenca Grau and Bijan Parsia In 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. AAAI Press. 2006. |
|
[142] |
Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments Aditya Kalyanpur‚ Bijan Parsia‚ Evren Sirin and Bernardo Cuenca Grau In DL 2006‚ Proceedings of the 19th International Workshop on Description Logics‚ Lake District‚ UK‚ June 2006. 2006. |
|
[143] |
Semantic Schema Matching M. Yatskevich F. Giunchiglia P. Shvaiko In In Proceedings of CoopIS. Pages 347−360. 2005. |
|
[144] |
Introduction to the ontology alignment evaluation 2005 M. Yatskevich J. Euzenat H. Stuckenschmidt In In Proceedings of Workshop on Integrating Ontologies. 2005. |
|
[145] |
Efficient Semantic Matching E. Giunchiglia F. Giunchiglia M. Yatskevich In In Proceedings of European Semantic Web Conference. Pages 272−289. 2005. |
|
[146] |
A large scale taxonomy mapping evaluation M. Yatskevich P. Avesani F. Giunchiglia In In Proceedings of International Semantic Web Conference. Pages 67−81. 2005. |
|
[147] |
SKIMA: Semantic Knowledge and Information Management Héctor Pérez−Urbina‚ Gennaro Bruno and Genoveva Vargas−Solar In Proc. of the Sixth Mexican International Conference on Computer Science (ENC 2005). Puebla‚ Mexico. September, 2005. |
|
[148] |
A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures Yevgeny Kazakov August, 2005. Research Report MPI−I−2005−2−004‚ Max−Planck−Institut für Informatik‚ on revison |
|
[149] |
Handling Cyclic Conjunctive Queries Birte Glimm and Ian Horrocks In Proceedings of the 2005 Description Logic Workshop (DL 2005). Edinburgh‚ Scotland‚ UK. 2005. CEUR Workshop Proceedings. |
|
[150] |
OWL Experiences And Directions Workshop Proceedings‚ 2005 Bernardo Cuenca Grau‚ Ian Horrocks‚ Bijan Parsia and Peter Patel−Schneider, editors Bernardo Cuenca Grau‚ Ian Horrocks‚ Bijan Parsia and Peter Patel−Schneider, editors |
|
[151] |
Swoop: A Web Ontology Engineering Framework Aditya Kalyanpur‚ Bijan Parsia‚ Evren Sirin and Bernardo Cuenca Grau In Proceedings ISWC 2005‚ the 4th International Semantic Web Conference (Poster Track). 2005. |
|
[152] |
Semantic Web Research Trends and Directions Jennifer Golbeck‚ Bernardo Cuenca Grau‚ Christian Halaschek−Wiener‚ Aditya Kalyanpur‚ Bijan Parsia‚ Andrew Schain‚ Evren Sirin and James A. Hendler In Pattern Recognition and Machine Intelligence‚ First International Conference‚ PReMI 2005‚ Kolkata‚ India‚ December 20−22‚ 2005‚ Proceedings. Pages 160−169. Springer. 2005. |
|
[153] |
Representing Qualitative Spatial Information in OWL DL Yarden Katz and Bernardo Cuenca Grau In Proceedings of the First International Workshop: OWL Experiences and Directions. Galway‚ Ireland‚ November 2005. 2005. |
|
[154] |
Modularizing OWL Ontologies Bernardo Cuenca Grau‚ Bijan Parsia‚ Evren Sirin and Aditya Kalyanpur In Proceedings of the KCAP 2005 Workshop on Ontology Management. Banff‚ Canada‚ October 2005. 2005. |
|
[155] |
Modularizing OWL Ontologies Bernardo Cuenca Grau‚ Bijan Parsia‚ Evren Sirin and Aditya Kalyanpur In Proceedings of the 4th International Semantic Web Conference (Poster Track). 2005. |
|
[156] |
Generalized Link Properties for Expressive E−connections of Description Logics. Bijan Parsia and Bernardo Cuenca Grau In Proceedings‚ The Twentieth National Conference on Artificial Intelligence (AAAI−2005)‚ July 9−13‚ 2005‚ Pittsburgh‚ Pennsylvania‚ USA. Pages 657−662. AAAI Press / The MIT Press. 2005. |
|
[157] |
Automatic Partitioning of OWL Ontologies Using E−connections Bernardo Cuenca Grau‚ Bijan Parsia‚ Evren Sirin and Aditya Kalyanpur In DL 2005‚ Proceedings of the 18th International Workshop on Description Logics‚ Edinburgh‚ UK‚ 2005. 2005. |
|
[158] |
S−Match: an Algorithm and an Implementation of Semantic Matching M. Yatskevich F. Giunchiglia P. Shvaiko In In Proceedings of ESWS. Pages 61−75. 2004. |
|
[159] |
Element level semantic matching M. Yatskevich F. Giunchiglia In In Proceedings of Meaning Coordination and Negotiation workshop. 2004. |
|
[160] |
Semantic Knowledge and Information Management in the Semantic Web Héctor Pérez−Urbina December, 2004. BSc. Thesis |
|
[161] |
Resolution Decision Procedures for the Guarded Fragment with Transitive Guards Yevgeny Kazakov and Hans de Nivelle No. MPI−I−2004−2−001. Max−Planck−Institut für Informatik. Stuhlsatzenhausweg 85‚ 66123 Saarbrücken‚ Germany. April, 2004. |
|
[162] |
Combining Resolution Decision Procedures Yevgeny Kazakov 2004. unpublished manuscript‚ available from http://web.comlab.ox.ac.uk/oucl/work/yevgeny.kazakov/publications/ |
|
[163] |
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. Yevgeny Kazakov and Hans de Nivelle In IJCAR. Vol. 3097 of Lecture Notes in Computer Science. Pages 122−136. Springer. 2004. |
|
[164] |
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. Yevgeny Kazakov In IJCAR Doctoral Programme. Vol. 106 of CEUR Workshop Proceedings. 2004. |
|
[165] |
A Polynomial Translation from the Two−Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. Yevgeny Kazakov In JELIA. Vol. 3229 of Lecture Notes in Computer Science. Pages 372−384. Springer. 2004. |
|
[166] |
Specification of Coordination of Rule and Ontology Languages Jeff Z. Pan‚ Enrico Franconi‚ Sergio Tessaris‚ Giorgos Stamou‚ Vassilis Tzouvaras‚ Luciano Serafini‚ Ian Horrocks and Birte Glimm The Knowledge Web project. 2004. |
|
[167] |
Report on Query Language Design and Standardisation Jeff Z. Pan‚ Enrico Franconi‚ Sergio Tessaris‚ Birte Glimm‚ Wolf Siberski‚ Giorgos Stamou‚ Vassilis Tzouvaras‚ Ian Horrocks‚ Lei Li and Holger Wache The Knowledge Web project. 2004. |
|
[168] |
Query Answering Systems in the Semantic Web Birte Glimm and Ian Horrocks In CEUR workshop proceedings of KI−2004 Workshop on Applications of Description Logics (ADL 2004). 2004. |
|
[169] |
A Query Language for Web Ontologies Birte Glimm 2004. Bachelor Report‚ Hamburg University of Applied Sciences |
|
[170] |
How to Teach Basic Quantum Mechnics to Computer Scientists and Electrical Engineers Bernardo Cuenca Grau In IEEE Transactions on Education. Vol. 47. No. 2. 2004. |
|
[171] |
Working with Multiple Ontologies on the Semantic Web. Bernardo Cuenca Grau‚ Bijan Parsia and Evren Sirin In International Semantic Web Conference. Vol. 3298 of Lecture Notes in Computer Science. Pages 620−634. Springer. 2004. |
|
[172] |
From SHOQ(D) Toward E−connections Bernardo Cuenca Grau and Bijan Parsia In Proceedings of the 2004 International Workshop on Description Logics (DL2004)‚ Whistler‚ British Columbia‚ Canada‚ June 6−8‚ 2004. Vol. 104. CEUR−WS.org. 2004. |
|
[173] |
A possible simplification of the semantic web architecture Bernardo Cuenca Grau In Proceedings of the 13th international conference on World Wide Web‚ WWW 2004‚ New York‚ NY‚ USA‚ May 17−20‚ 2004. Pages 704−713. ACM. 2004. |
|
[174] |
Un Experimento con Actualizaciones Alejandra López−Fern'adez‚ Roc'io Santill'an−Rodr'iguez‚ H'ector P'erez−Urbina and Luis Montiel−Moreno In Proc. of the Workshop on Logic and Agents (ENC 2003). Tlaxcala‚ Mexico. September, 2003. |
|
[175] |
Subsumption of Concepts in FL0 for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE−complete. Yevgeny Kazakov and Hans de Nivelle In Description Logics. Vol. 81 of CEUR Workshop Proceedings. 2003. |
|
[176] |
Subsumption of concepts in DL FL0 for (cyclic) terminologies with respect to descriptive semantics is PSPACE−complete Yevgeny Kazakov and Hans de Nivelle No. MPI−I−2003−2−003. Max−Planck−Institut für Informatik. Stuhlsatzenhausweg 85‚ 66123 Saarbrücken‚ Germany. April, 2003. |
|
[177] |
Recursive resolution for modal logic Yevgeny Kazakov In Proceedings of the Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi. Vol. MPI−I−2002−2−007 of Max−Planck−Institut für Informatik Research Report. Pages 11–15. Saarbrücken‚ Germany. March, 2002. International Max Planck Research School for Computer Science (IMPRS). Max−Planck−Institut für Informatik. |
|
[178] |
On logic of knowledge with justifications S. Artemov‚ E. Kazakov and D. Shapiro No. CFIS 99−12. Cornell University. 1999. |