Knowledge Representation and Reasoning: Publications

Book chapters

• [1]

  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.

  Details about Semantic Matching with S−Match | BibTeX data for Semantic Matching with S−Match

• [2]

  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.

  Details about Extracting Modules from Ontologies: A Logic−Based Approach | BibTeX data for Extracting Modules from Ontologies: A Logic−Based Approach | Link to Extracting Modules from Ontologies: A Logic−Based Approach

• [3]

  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.

  Details about Ontology Integration Using E−connections | BibTeX data for Ontology Integration Using E−connections

• [4]

  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.

  Details about Extracting Modules from Ontologies: A Logic−based Approach | BibTeX data for Extracting Modules from Ontologies: A Logic−based Approach

Journal papers

• [1]

  An ontology−mediated analytics−aware approach to support monitoring and diagnostics of static and streaming data

  Evgeny Kharlamov‚ Yannis Kotidis‚ Theofilos Mailis‚ Christian Neuenstadt‚ Charalampos Nikolaou‚ Özgür Özçep‚ Christoforos Svingos‚ Dmitriy Zheleznyakov‚ Yannis Ioannidis‚ Steffen Lamparter‚ Ralf Möller and Arild Waaler

  In Journal of Web Semantics. 2019.

  Details about An ontology−mediated analytics−aware approach to support monitoring and diagnostics of static and streaming data | BibTeX data for An ontology−mediated analytics−aware approach to support monitoring and diagnostics of static and streaming data | DOI (10.1016/j.websem.2019.01.001)

• [2]

  Foundations of Ontology−Based Data Access under Bag Semantics

  Charalampos Nikolaou‚ Egor V. Kostylev‚ George Konstantinidis‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks

  In Artificial Intelligence. 2019.

  Details about Foundations of Ontology−Based Data Access under Bag Semantics | BibTeX data for Foundations of Ontology−Based Data Access under Bag Semantics | DOI (10.1016/j.artint.2019.02.003)

• [3]

  Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions

  Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ David Tena Cucala‚ Frantisek Simancik and Ian Horrocks

  In J. Artif. Intell. Res.. Vol. 63. Pages 625–690. 2018.

  Details about Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions | BibTeX data for Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions | DOI (10.1613/jair.1.11257) | Link to Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions

• [4]

  Logical foundations of information disclosure in ontology−based data integration

  Michael Benedikt‚ Bernardo Cuenca Grau and Egor V. Kostylev

  In Artificial Intelligence. Vol. 262. Pages 52–95. 2018.

  Details about Logical foundations of information disclosure in ontology−based data integration | BibTeX data for Logical foundations of information disclosure in ontology−based data integration | DOI (10.1016/j.artint.2018.06.002)

• [5]

  Complexity and Expressive Power of Weakly Well−Designed SPARQL

  Mark Kaminski and Egor V. Kostylev

  In Theory Comput. Syst.. Vol. 62. No. 4. Pages 772–809. 2018.

  Details about Complexity and Expressive Power of Weakly Well−Designed SPARQL | BibTeX data for Complexity and Expressive Power of Weakly Well−Designed SPARQL | DOI (10.1007/s00224-017-9802-9) | Link to Complexity and Expressive Power of Weakly Well−Designed SPARQL

• [6]

  Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1

  Mark Kaminski‚ Egor V. Kostylev and Bernardo Cuenca Grau

  In ACM Trans. Database Syst.. Vol. 42. No. 3. Pages 17:1–17:46. 2017.

  Details about Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1 | BibTeX data for Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1 | DOI (10.1145/3083898) | Link to Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1

• [7]

  Faceted search over RDF−based knowledge graphs

  Marcelo Arenas‚ Bernardo Cuenca Grau‚ Evgeny Kharlamov‚ Sarunas Marciuska and Dmitriy Zheleznyakov

  In Journal of Web Semantics. Vol. 37. Pages 55−74. 2016.

  Details about Faceted search over RDF−based knowledge graphs | BibTeX data for Faceted search over RDF−based knowledge graphs | Download  (pdf) of Faceted search over RDF−based knowledge graphs

• [8]

  Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation

  Alessandro Solimando‚ Ernesto Jimenez−Ruiz and Giovanna Guerrini

  In Knowledge and Information Systems. 2016.

  Details about Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation | BibTeX data for Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation | Download  (pdf) of Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation | DOI (10.1007/s10115-016-0983-3) | Link to Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation

• [9]

  Pushing the limits of OWL 2 reasoners in ontology alignment repair problems

  Alessandro Solimando‚ Ernesto Jimenez−Ruiz and Giovanna Guerrini

  In Intelligenza Artificiale. Vol. 10. No. 1. Pages 1−18. 2016.

  Details about Pushing the limits of OWL 2 reasoners in ontology alignment repair problems | BibTeX data for Pushing the limits of OWL 2 reasoners in ontology alignment repair problems | Download  (pdf) of Pushing the limits of OWL 2 reasoners in ontology alignment repair problems | DOI (10.3233/IA-160091) | Link to Pushing the limits of OWL 2 reasoners in ontology alignment repair problems

• [10]

  Ontology−based End−user Visual Query Formulation: Why‚ what‚ who‚ how‚ and which?

  Ahmet Soylu‚ Martin Giese‚ Ernesto Jimenez−Ruiz‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov and Ian Horrocks

  In Universal Access in the Information Society. Vol. (in press). 2016.

  Details about Ontology−based End−user Visual Query Formulation: Why‚ what‚ who‚ how‚ and which? | BibTeX data for Ontology−based End−user Visual Query Formulation: Why‚ what‚ who‚ how‚ and which? | Download  (pdf) of Ontology−based End−user Visual Query Formulation: Why‚ what‚ who‚ how‚ and which?

• [11]

  Experiencing OptiqueVQS: a multi−paradigm and ontology−based visual query system for end users

  Ahmet Soylu‚ Martin Giese‚ Ernesto Jiménez−Ruiz‚ Guillermo Vega−Gorgojo and Ian Horrocks

  In Universal Access in the Information Society. Vol. 15. Pages 129−152. 2016.

  Details about Experiencing OptiqueVQS: a multi−paradigm and ontology−based visual query system for end users | BibTeX data for Experiencing OptiqueVQS: a multi−paradigm and ontology−based visual query system for end users | Download  (pdf) of Experiencing OptiqueVQS: a multi−paradigm and ontology−based visual query system for end users

• [12]

  Optique: Zooming in on Big Data

  Martin Giese‚ Ahmet Soylu‚ Guillermo Vega−Gorgojo‚ Arild Waaler‚ Peter Haase‚ Ernesto Jiménez−Ruiz‚ Davide Lanti‚ Martín Rezk‚ Guohui Xiao‚ Özgür L. Özçep and Riccardo Rosati

  In IEEE Computer. Vol. 48. No. 3. Pages 60–67. 2015.

  Details about Optique: Zooming in on Big Data | BibTeX data for Optique: Zooming in on Big Data | Download  (pdf) of Optique: Zooming in on Big Data | DOI (10.1109/MC.2015.82) | Link to Optique: Zooming in on Big Data

• [13]

  Capturing Model−Based Ontology Evolution at the Instance Level: The Case of DL−Lite

  Evgeny Kharlamov‚ Dmitriy Zheleznyakov and Diego Calvanese

  In Journal of Computer and System Sciences (JCSS). Vol. 79. No. 6. Pages 835 − 872. 2013.

  Details about Capturing Model−Based Ontology Evolution at the Instance Level: The Case of DL−Lite | BibTeX data for Capturing Model−Based Ontology Evolution at the Instance Level: The Case of DL−Lite | Download  (pdf) of Capturing Model−Based Ontology Evolution at the Instance Level: The Case of DL−Lite

• [14]

  Structure−based classification and ontology in chemistry

  Janna Hastings‚ Despoina Magka‚ Colin Batchelor‚ Lian Duan‚ Robert Stevens‚ Marcus Ennis and Christoph Steinbeck

  In Journal of Cheminformatics. Vol. 4. No. 8. 2012.

  Details about Structure−based classification and ontology in chemistry | BibTeX data for Structure−based classification and ontology in chemistry | Download of Structure−based classification and ontology in chemistry

• [15]

  Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice

  Bernardo Cuenca Grau‚ Boris Motik‚ Giorgos Stoilos and Ian Horrocks

  In Journal of Artificial Intelligence Research (JAIR). Vol. 43. Pages 419−476. 2012.

  Details about Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice | BibTeX data for Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice | Download  (pdf) of Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice

• [16]

  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.

  Details about A Novel Approach to Ontology Classification | BibTeX data for A Novel Approach to Ontology Classification | Download  (pdf) of A Novel Approach to Ontology Classification

• [17]

  Tractable Extensions of the Description Logic EL with Numerical Datatypes

  Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks

  In Journal of Automated Reasoning. Vol. 47. No. 4. Pages 427–450. 2011.

  Details about Tractable Extensions of the Description Logic EL with Numerical Datatypes | BibTeX data for Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download of Tractable Extensions of the Description Logic EL with Numerical Datatypes

• [18]

  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.

  Details about Describing Images Using Qualitative Models and Description Logics | BibTeX data for Describing Images Using Qualitative Models and Description Logics | Download  (pdf) of Describing Images Using Qualitative Models and Description Logics | DOI (10.1080/13875868.2010.545611) | Link to Describing Images Using Qualitative Models and Description Logics

• [19]

  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.

  Details about Supporting concurrent ontology development: Framework‚ algorithms and tool | BibTeX data for Supporting concurrent ontology development: Framework‚ algorithms and tool | Download  (pdf) of Supporting concurrent ontology development: Framework‚ algorithms and tool | Download (pdf) of Supporting concurrent ontology development: Framework‚ algorithms and tool

• [20]

  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.

  Details about Logic−based Assessment of the Compatibility of UMLS Ontology Sources | BibTeX data for Logic−based Assessment of the Compatibility of UMLS Ontology Sources | DOI (doi:10.1186/2041-1480-2-S1-S2) | Link to Logic−based Assessment of the Compatibility of UMLS Ontology Sources

• [21]

  On the Computability of Region−Based Euclidean Logics

  Yavor Nenov and Ian Pratt−Hartmann

  In Conference for Computer Science Logic. 2010.

  Details about On the Computability of Region−Based Euclidean Logics | BibTeX data for On the Computability of Region−Based Euclidean Logics | Download  (pdf) of On the Computability of Region−Based Euclidean Logics

• [22]

  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.

  Details about Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics | BibTeX data for Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics | DOI (10.1016/j.ijar.2010.01.005)

• [23]

  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.

  Details about Incremental Classification of Description Logics Ontologies | BibTeX data for Incremental Classification of Description Logics Ontologies | Download  (pdf) of Incremental Classification of Description Logics Ontologies

• [24]

  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

  Details about Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries | BibTeX data for Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries | Download  (pdf) of Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries

• [25]

  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.

  Details about Incremental Classification of Description Logics Ontologies | BibTeX data for Incremental Classification of Description Logics Ontologies | DOI (10.1007/s10817-009-9159-0)

• [26]

  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.

  Details about XML−based approaches for the integration of heterogeneous bio−molecular data | BibTeX data for XML−based approaches for the integration of heterogeneous bio−molecular data | DOI (doi:10.1186/1471-2105-10-S12-S7) | Link to XML−based approaches for the integration of heterogeneous bio−molecular data

• [27]

  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.

  Details about Reuse of terminological resources for efficient ontological engineering in Life Sciences | BibTeX data for Reuse of terminological resources for efficient ontological engineering in Life Sciences | DOI (doi:10.1186/1471-2105-10-S10-S4) | Link to Reuse of terminological resources for efficient ontological engineering in Life Sciences

• [28]

  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.

  Details about A Large Scale Dataset for the Evaluation of Ontology Matching Systems | BibTeX data for A Large Scale Dataset for the Evaluation of Ontology Matching Systems

• [29]

  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

  Details about Tractable Query Answering and Rewriting under Description Logic Constraints | BibTeX data for Tractable Query Answering and Rewriting under Description Logic Constraints

• [30]

  Efficient Query Answering for OWL 2

  Héctor Pérez−Urbina‚ Ian Horrocks and Boris Motik

  October, 2009.

  to appear

  Details about Efficient Query Answering for OWL 2 | BibTeX data for Efficient Query Answering for OWL 2

• [31]

  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.

  Details about Representing Ontologies Using Description Logics‚ Description Graphs and Rules | BibTeX data for Representing Ontologies Using Description Logics‚ Description Graphs and Rules | Download  (pdf) of Representing Ontologies Using Description Logics‚ Description Graphs and Rules | Download (pdf) of Representing Ontologies Using Description Logics‚ Description Graphs and Rules

• [32]

  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.

  Details about Assessment of disease named entity recognition on a corpus of annotated sentences | BibTeX data for Assessment of disease named entity recognition on a corpus of annotated sentences | DOI (doi:10.1186/1471-2105-9-S3-S3) | Link to Assessment of disease named entity recognition on a corpus of annotated sentences

• [33]

  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.

  Details about A Resolution−Based Decision Procedure for SHOIQ | BibTeX data for A Resolution−Based Decision Procedure for SHOIQ | Download  (pdf) of A Resolution−Based Decision Procedure for SHOIQ | Link to A Resolution−Based Decision Procedure for SHOIQ

• [34]

  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.

  Details about Modular Reuse of Ontologies: Theory and Practice | BibTeX data for Modular Reuse of Ontologies: Theory and Practice | Link to Modular Reuse of Ontologies: Theory and Practice

• [35]

  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.

  Details about Conjunctive Query Answering for the Description Logic SHIQ | BibTeX data for Conjunctive Query Answering for the Description Logic SHIQ | Download  (pdf) of Conjunctive Query Answering for the Description Logic SHIQ

• [36]

  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.

  Details about OWL 2: The Next Step for OWL | BibTeX data for OWL 2: The Next Step for OWL | Download  (pdf) of OWL 2: The Next Step for OWL | Download (pdf) of OWL 2: The Next Step for OWL

• [37]

  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.

  Details about Modular Reuse of Ontologies: Theory and Practice | BibTeX data for Modular Reuse of Ontologies: Theory and Practice | Download  (pdf) of Modular Reuse of Ontologies: Theory and Practice | Download (pdf) of Modular Reuse of Ontologies: Theory and Practice

• [38]

  Semantic Matching: Algorithms and Implementation

  P. Shvaiko F. Giunchiglia M. Yatskevich

  In Journal on Data Semantics. Vol. IX. Pages 1−38. 2007.

  Details about Semantic Matching: Algorithms and Implementation | BibTeX data for Semantic Matching: Algorithms and Implementation

• [39]

  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)

  Details about Hybrid Logics and Ontology Languages | BibTeX data for Hybrid Logics and Ontology Languages | Download  (pdf) of Hybrid Logics and Ontology Languages

• [40]

  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.

  Details about Pellet: A Practical OWL DL Reasoner | BibTeX data for Pellet: A Practical OWL DL Reasoner | Download (pdf) of Pellet: A Practical OWL DL Reasoner

• [41]

  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.

  Details about Combining OWL ontologies using E−connections. | BibTeX data for Combining OWL ontologies using E−connections. | Download  (pdf) of Combining OWL ontologies using E−connections.

Conference papers

• [1]

  Contextual Semantic Embeddings for Ontology Subsumption Prediction

  Jiaoyan Chen‚ Yuan He‚ Ernesto Jiménez−Ruiz‚ Hang Dong and Ian Horrocks

  In World Wide Web Journal (WWWJ−2023). 2023.

  Details about Contextual Semantic Embeddings for Ontology Subsumption Prediction | BibTeX data for Contextual Semantic Embeddings for Ontology Subsumption Prediction | DOI (https://doi.org/10.1007/s11280-023-01169-9)

• [2]

  Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching

  Yuan He‚ Jiaoyan Chen‚ Hang Dong‚ Ernesto Jiménez−Ruiz‚ Ali Hadian and Ian Horrocks

  In The 21st International Semantic Web Conference (ISWC−2022). 2022.

  Best Resource Paper Candidate

  Details about Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching | BibTeX data for Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching | Download  (pdf) of Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching | DOI (https://doi.org/10.1007/978-3-031-19433-7_33)

• [3]

  BERTMap: A BERT−based Ontology Alignment System

  Yuan He‚ Jiaoyan Chen‚ Denvar Antonyrajah and Ian Horrocks

  In Proceedings of 36th AAAI Conference on Artificial Intelligence 2022 (AAAI 2022). 2022.

  Details about BERTMap: A BERT−based Ontology Alignment System | BibTeX data for BERTMap: A BERT−based Ontology Alignment System | Download  (pdf) of BERTMap: A BERT−based Ontology Alignment System | DOI (10.1609/aaai.v36i5.20510)

• [4]

  Modular Materialisation of Datalog Programs

  Pan Hu‚ Boris Motik and Ian Horrocks

  In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.

  Details about Modular Materialisation of Datalog Programs | BibTeX data for Modular Materialisation of Datalog Programs

• [5]

  Reasoning over Streaming Data in Metric Temporal Datalog

  Przemyslaw Andrzej Walega‚ Mark Kaminski and Bernardo Cuenca Grau

  In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.

  Details about Reasoning over Streaming Data in Metric Temporal Datalog | BibTeX data for Reasoning over Streaming Data in Metric Temporal Datalog

• [6]

  ColNet: Embedding the Semantics of Web Tables for Column Type Prediction

  Jiaoyan Chen‚ Ernesto Jimenez−­‐Ruiz‚ Ian Horrocks and Charles Sutton

  In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.

  Details about ColNet: Embedding the Semantics of Web Tables for Column Type Prediction | BibTeX data for ColNet: Embedding the Semantics of Web Tables for Column Type Prediction

• [7]

  The Window Validity Problem in Rule−Based Stream Reasoning

  Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks

  In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR). 2018.

  Details about The Window Validity Problem in Rule−Based Stream Reasoning | BibTeX data for The Window Validity Problem in Rule−Based Stream Reasoning | Link to The Window Validity Problem in Rule−Based Stream Reasoning

• [8]

  Knowledge−Based Transfer Learning Explanation

  Jiaoyan Chen‚ Freddy Lécué‚ Jeff Z. Pan‚ Ian Horrocks and Huajun Chen

  In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference‚ KR 2018‚ Tempe‚ Arizona‚ 30 October − 2 November 2018.. Pages 349–358. 2018.

  Details about Knowledge−Based Transfer Learning Explanation | BibTeX data for Knowledge−Based Transfer Learning Explanation

• [9]

  Stream Reasoning in Temporal Datalog

  Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau‚ Boris Motik and Ian Horrocks

  In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence (AAAI). 2018.

  Details about Stream Reasoning in Temporal Datalog | BibTeX data for Stream Reasoning in Temporal Datalog | Link to Stream Reasoning in Temporal Datalog

• [10]

  Stratified Negation in Limit Datalog Programs

  Mark Kaminski‚ Bernardo Cuenca Grau‚ Egor V. Kostylev‚ Boris Motik and Ian Horrocks

  In Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden.. Pages 1875–1881. 2018.

  Details about Stratified Negation in Limit Datalog Programs | BibTeX data for Stratified Negation in Limit Datalog Programs | DOI (10.24963/ijcai.2018/259) | Link to Stratified Negation in Limit Datalog Programs

• [11]

  Optimised Maintenance of Datalog Materialisations

  Pan Hu‚ Boris Motik and Ian Horrocks

  In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence‚ New Orleans‚ Louisiana‚ USA‚ February 2−7‚ 2018. 2018.

  Details about Optimised Maintenance of Datalog Materialisations | BibTeX data for Optimised Maintenance of Datalog Materialisations | Link to Optimised Maintenance of Datalog Materialisations

• [12]

  Goal−Driven Query Answering for Existential Rules With Equality

  Michael Benedikt‚ Boris Motik and Efthymia Tsamoura

  In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence‚ New Orleans‚ Louisiana‚ USA‚ February 2−7‚ 2018. 2018.

  Details about Goal−Driven Query Answering for Existential Rules With Equality | BibTeX data for Goal−Driven Query Answering for Existential Rules With Equality | Link to Goal−Driven Query Answering for Existential Rules With Equality

• [13]

  Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation

  Giorgio Stefanoni‚ Boris Motik and Egor V. Kostylev

  In Proceedings of the 2018 World Wide Web Conference on World Wide Web‚ WWW 2018‚ Lyon‚ France‚ April 23−27‚ 2018. Pages 1043–1052. 2018.

  Details about Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation | BibTeX data for Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation | DOI (10.1145/3178876.3186003) | Link to Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation

• [14]

  Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals

  David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

  In Jérôme Lang, editor, Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden. Pages 1970–1976. ijcai.org. 2018.

  Details about Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals | BibTeX data for Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals | DOI (10.24963/ijcai.2018/272) | Link to Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals

• [15]

  SemFacet: Making Hard Faceted Search Easier

  Evgeny Kharlamov‚ Luca Giacomelli‚ Evgeny Sherkhonov‚ Bernardo Cuenca Grau‚ Egor V. Kostylev and Ian Horrocks

  In Proceedings of the 2017 ACM on Conference on Information and Knowledge Management‚ CIKM 2017‚ Singapore‚ November 06 − 10‚ 2017. Pages 2475–2478. 2017.

  Details about SemFacet: Making Hard Faceted Search Easier | BibTeX data for SemFacet: Making Hard Faceted Search Easier | DOI (10.1145/3132847.3133192) | Link to SemFacet: Making Hard Faceted Search Easier

• [16]

  Ranking‚ Aggregation‚ and Reachability in Faceted Search with SemFacet

  Evgeny Kharlamov‚ Luca Giacomelli‚ Evgeny Sherkhonov‚ Bernardo Cuenca Grau‚ Egor V. Kostylev and Ian Horrocks

  In Nadeschda Nikitina‚ Dezhao Song‚ Achille Fokoue and Peter Haase, editors, 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. Vol. 1963 of CEUR Workshop Proceedings. CEUR−WS.org. 2017.

  Details about Ranking‚ Aggregation‚ and Reachability in Faceted Search with SemFacet | BibTeX data for Ranking‚ Aggregation‚ and Reachability in Faceted Search with SemFacet | Link to Ranking‚ Aggregation‚ and Reachability in Faceted Search with SemFacet

• [17]

  Semantic Faceted Search with Aggregation and Recursion

  Evgeny Sherkhonov‚ Bernardo Cuenca Grau‚ Evgeny Kharlamov and Egor V. Kostylev

  In Claudia d'Amato‚ Miriam Fernández‚ Valentina A. M. Tamma‚ Freddy Lécué‚ Philippe Cudré−Mauroux‚ Juan F. Sequeda‚ Christoph Lange and Jeff Heflin, editors, The Semantic Web − ISWC 2017 − 16th International Semantic Web Conference‚ Vienna‚ Austria‚ October 21−25‚ 2017‚ Proceedings‚ Part I. Vol. 10587 of Lecture Notes in Computer Science. Pages 594–610. Springer. 2017.

  Details about Semantic Faceted Search with Aggregation and Recursion | BibTeX data for Semantic Faceted Search with Aggregation and Recursion | DOI (10.1007/978-3-319-68288-4) | Link to Semantic Faceted Search with Aggregation and Recursion

• [18]

  Entity Comparison in RDF Graphs

  Alina Petrova‚ Evgeny Sherkhonov‚ Bernardo Cuenca Grau and Ian Horrocks

  In The Semantic Web − ISWC 2017 − 16th International Semantic Web Conference‚ Vienna‚ Austria‚ October 21−25‚ 2017‚ Proceedings‚ Part I. Pages 526–541. 2017.

  Details about Entity Comparison in RDF Graphs | BibTeX data for Entity Comparison in RDF Graphs | DOI (10.1007/978-3-319-68288-4_31) | Link to Entity Comparison in RDF Graphs

• [19]

  Foundations of Declarative Data Analysis Using Limit Datalog Programs

  Mark Kaminski‚ Bernardo Cuenca Grau‚ Egor V. Kostylev‚ Boris Motik and Ian Horrocks

  In Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI−17. Pages 1123–1130. 2017.

  Details about Foundations of Declarative Data Analysis Using Limit Datalog Programs | BibTeX data for Foundations of Declarative Data Analysis Using Limit Datalog Programs | DOI (10.24963/ijcai.2017/156) | Link to Foundations of Declarative Data Analysis Using Limit Datalog Programs

• [20]

  Reformulating Queries: Theory and Practice

  Michael Benedikt‚ Egor V. Kostylev‚ Fabio Mogavero and Efthymia Tsamoura

  In Carles Sierra, editor, Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI 2017‚ Melbourne‚ Australia‚ August 19−25‚ 2017. Pages 837–843. ijcai.org. 2017.

  Details about Reformulating Queries: Theory and Practice | BibTeX data for Reformulating Queries: Theory and Practice | DOI (10.24963/ijcai.2017/116) | Link to Reformulating Queries: Theory and Practice

• [21]

  Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals

  David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

  In Alessandro Artale‚ Birte Glimm and Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics‚ Montpellier‚ France‚ July 18−21‚ 2017. Vol. 1879 of CEUR Workshop Proceedings. CEUR−WS.org. 2017.

  Details about Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals | BibTeX data for Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals | Download (pdf) of Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals

• [22]

  The Bag Semantics of Ontology−Based Data Access

  Charalampos Nikolaou‚ Egor V. Kostylev‚ George Konstantinidis‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks

  In Carles Sierra, editor, Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI 2017‚ Melbourne‚ Australia‚ August 19−25‚ 2017. Pages 1224–1230. ijcai.org. 2017.

  Details about The Bag Semantics of Ontology−Based Data Access | BibTeX data for The Bag Semantics of Ontology−Based Data Access | DOI (10.24963/ijcai.2017/170) | Link to The Bag Semantics of Ontology−Based Data Access

• [23]

  Modeling and Querying Greek Legislation Using Semantic Web Technologies

  Ilias Chalkidis‚ Charalampos Nikolaou‚ Panagiotis Soursos and Manolis Koubarakis

  In The Semantic Web − 14th International Conference‚ ESWC 2017‚ Portorož‚ Slovenia‚ May 28 − June 1‚ 2017‚ Proceedings‚ Part I. Pages 591–606. 2017.

  Details about Modeling and Querying Greek Legislation Using Semantic Web Technologies | BibTeX data for Modeling and Querying Greek Legislation Using Semantic Web Technologies | DOI (10.1007/978-3-319-58068-5_36) | Link to Modeling and Querying Greek Legislation Using Semantic Web Technologies

• [24]

  Enabling Semantic Access to Static and Streaming Distributed Data with Optique: Demo

  Evgeny Kharlamov‚ Sebastian Brandt‚ Martin Giese‚ Ernesto Jiménez−Ruiz‚ Yannis Kotidis‚ Steffen Lamparter‚ Theofilos Mailis‚ Christian Neuenstadt‚ Özgür L. Özçep‚ Christoph Pinkel‚ Ahmet Soylu‚ Christoforos Svingos‚ Dmitriy Zheleznyakov‚ Ian Horrocks‚ Yannis E. Ioannidis‚ Ralf Möller and Arild Waaler

  In Proc. International Conference on Distributed and Event−based Systems (DEBS). Pages 350–353. 2016.

  Details about Enabling Semantic Access to Static and Streaming Distributed Data with Optique: Demo | BibTeX data for Enabling Semantic Access to Static and Streaming Distributed Data with Optique: Demo | Download  (pdf) of Enabling Semantic Access to Static and Streaming Distributed Data with Optique: Demo

• [25]

  Ontology−Based Integration of Streaming and Static Relational Data with Optique

  Evgeny Kharlamov‚ Sebastian Brandt‚ Ernesto Jiménez−Ruiz‚ Yannis Kotidis‚ Steffen Lamparter‚ Theofilos Mailis‚ Christian Neuenstadt‚ Özgür L. Özçep‚ Christoph Pinkel‚ Christoforos Svingos‚ Dmitriy Zheleznyakov‚ Ian Horrocks‚ Yannis E. Ioannidis and Ralf Möller

  In Proc. of International Conference on Management Data (SIGMOD). Pages 2109–2112. 2016.

  Details about Ontology−Based Integration of Streaming and Static Relational Data with Optique | BibTeX data for Ontology−Based Integration of Streaming and Static Relational Data with Optique | Download  (pdf) of Ontology−Based Integration of Streaming and Static Relational Data with Optique

• [26]

  SOMM: Industry Oriented Ontology Management Tool

  Evgeny Kharlamov‚ Bernardo Cuenca Grau‚ Ernesto Jimenez−Ruiz‚ Steffen Lamparter‚ Gulnar Mehdi‚ Martin Ringsquandl‚ Yavor Nenov‚ Stephan Grimm‚ Mikhail Roshchin and Ian Horrocks

  In Proc. of International Semantic Web Conference (ISWC)‚ Posters and Demonstrations Track. October, 2016.

  Details about SOMM: Industry Oriented Ontology Management Tool | BibTeX data for SOMM: Industry Oriented Ontology Management Tool | Download  (pdf) of SOMM: Industry Oriented Ontology Management Tool | Link to SOMM: Industry Oriented Ontology Management Tool

• [27]

  Towards Analytics Aware Ontology Based Access to Static and Streaming Data

  Evgeny Kharlamov‚ Yannis Kotidis‚ Theofilos Mailis‚ Christian Neuenstadt‚ Charalampos Nikolaou‚ Oezguer Oezcep‚ Christoforos Svingos‚ Sebastian Brandt Dmitriy Zheleznyako and‚ Ian Horrocks‚ Yannis Ioannidis‚ Steffen Lamparter and Ralf Moeller

  In Proc. of International Semantic Web Conference (ISWC). October, 2016.

  Details about Towards Analytics Aware Ontology Based Access to Static and Streaming Data | BibTeX data for Towards Analytics Aware Ontology Based Access to Static and Streaming Data | Download  (pdf) of Towards Analytics Aware Ontology Based Access to Static and Streaming Data

• [28]

  Towards the Semantic Enrichment of Free−text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans

  Valentina Carapella‚ Ernesto Jimenez−Ruiz‚ Elena Lukaschuk‚ Nay Aung‚ Kenneth Fung‚ Jose Paiva‚ Mihir Sanghvi‚ Stefan Neubauer‚ Steffen Petersen‚ Ian Horrocks and Stefan Piechnik

  In MICCAI Workshop on Large−scale Annotation of Biomedical data and Expert Label Synthesis (LABELS). 2016.

  Details about Towards the Semantic Enrichment of Free−text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans | BibTeX data for Towards the Semantic Enrichment of Free−text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans | Download  (pdf) of Towards the Semantic Enrichment of Free−text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans

• [29]

  Capturing Industrial Information Models with Ontologies and Constraints

  Evgeny Kharlamov‚ Bernardo Cuenca Grau‚ Ernesto Jimenez−Ruiz‚ Steffen Lamparter‚ Gulnar Mehdi‚ Martin Ringsquandl‚ Yavor Nenov‚ Stephan Grimm‚ Mikhail Roshchin and Ian Horrocks

  In Proc. of International Semantic Web Conference (ISWC). Vol. 9981 of LNCS. October, 2016.

  Details about Capturing Industrial Information Models with Ontologies and Constraints | BibTeX data for Capturing Industrial Information Models with Ontologies and Constraints | Download  (pdf) of Capturing Industrial Information Models with Ontologies and Constraints | Link to Capturing Industrial Information Models with Ontologies and Constraints

• [30]

  User validation in ontology alignment

  Zlatan Dragisic‚ Valentina Ivanova‚ Patrick Lambrix‚ Daniel Faria‚ Ernesto Jimenez−Ruiz and Catia Pesquita

  In Proceedings of the International Semantic Web Conference. Vol. 9981 of LNCS. October, 2016.

  Details about User validation in ontology alignment | BibTeX data for User validation in ontology alignment | Download  (pdf) of User validation in ontology alignment

• [31]

  Extending Consequence−Based Reasoning to SRIQ

  Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ Frantisek Simancik and Ian Horrocks

  In Chitta Baral‚ James P. Delgrande and Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference. Pages 187–196. AAAI Press. 2016.

  Details about Extending Consequence−Based Reasoning to SRIQ | BibTeX data for Extending Consequence−Based Reasoning to SRIQ | Download paper.pdf of Extending Consequence−Based Reasoning to SRIQ | Download slides.pdf of Extending Consequence−Based Reasoning to SRIQ

• [32]

  Limiting Logical Violations in Ontology Alignment Through Negotiation

  Ernesto Jimenez−Ruiz‚ Terry R. Payne‚ Alessandro Solimando and Valentina Tamma

  In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR). AAAI Press. April, 2016.

  Details about Limiting Logical Violations in Ontology Alignment Through Negotiation | BibTeX data for Limiting Logical Violations in Ontology Alignment Through Negotiation | Download  (pdf) of Limiting Logical Violations in Ontology Alignment Through Negotiation

• [33]

  Ontology Based Access to Exploration Data at Statoil

  Evgeny Kharlamov‚ Dag Hovland‚ Ernesto Jimenez−Ruiz‚ Davide Lanti‚ Hallstein Lie‚ Christoph Pinkel‚ Martin Rezk‚ Martin G. Skjæveland‚ Evgenij Thorstensen‚ Guohui Xiao‚ Dmitriy Zheleznyakov and Ian Horrocks

  In Proc. of International Semantic Web Conference (ISWC). 2015.

  Details about Ontology Based Access to Exploration Data at Statoil | BibTeX data for Ontology Based Access to Exploration Data at Statoil | Download  (pdf) of Ontology Based Access to Exploration Data at Statoil

• [34]

  Extending Consequence−Based Reasoning to SHIQ

  Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks

  In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics. Vol. 1350 of CEUR Workshop Proceedings. CEUR−WS.org. June, 2015.

  Details about Extending Consequence−Based Reasoning to SHIQ | BibTeX data for Extending Consequence−Based Reasoning to SHIQ | Download  (pdf) of Extending Consequence−Based Reasoning to SHIQ

• [35]

  BootOX: Practical Mapping of RDBs to OWL 2

  Ernesto Jimenez−Ruiz‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov‚ Ian Horrocks‚ Christoph Pinkel‚ Martin G. Skjæveland‚ Evgenij Thorstensen and Jose Mora

  In Proc. of International Semantic Web Conference (ISWC). 2015.

  Details about BootOX: Practical Mapping of RDBs to OWL 2 | BibTeX data for BootOX: Practical Mapping of RDBs to OWL 2 | Download  (pdf) of BootOX: Practical Mapping of RDBs to OWL 2 | Link to BootOX: Practical Mapping of RDBs to OWL 2

• [36]

  RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration

  Christoph Pinkel‚ Carsten Binnig‚ Ernesto Jiménez−Ruiz‚ Wolfgang May‚ Dominique Ritze‚ Martin G. Skjæveland‚ Alessandro Solimando and Evgeny Kharlamov

  In 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. 2015.

  Details about RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration | BibTeX data for RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration | Download  (pdf) of RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration | DOI (10.1007/978-3-319-18818-8_2) | Link to RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration

• [37]

  Controlled Query Evaluation over Lightweight Ontologies

  Bernardo Cuenca Grau‚ Evgeny Kharlamov‚ Egor Kostylev and Dmitriy Zheleznyakov

  In Proc. of the International Workshop on Description Logics (DL). Pages 141−152. 2014.

  Details about Controlled Query Evaluation over Lightweight Ontologies | BibTeX data for Controlled Query Evaluation over Lightweight Ontologies | Download  (pdf) of Controlled Query Evaluation over Lightweight Ontologies

• [38]

  Towards annotating potential incoherences in BioPortal mappings

  Daniel Faria‚ Ernesto Jiménez−Ruiz‚ Catia Pesquita‚ Emanuel Santos and Francisco M. Couto

  In International Semantic Web Conference. Vol. LNCS 8797. October, 2014.

  Details about Towards annotating potential incoherences in BioPortal mappings | BibTeX data for Towards annotating potential incoherences in BioPortal mappings | Download  (pdf) of Towards annotating potential incoherences in BioPortal mappings

• [39]

  Detecting and Correcting Conservativity Principle Violations in Ontology−to−Ontology Mappings

  Alessandro Solimando‚ Ernesto Jimenez−Ruiz and Giovanna Guerrini

  In International Semantic Web Conference. Vol. LNCS 8797. Pages 1−16. October, 2014.

  Details about Detecting and Correcting Conservativity Principle Violations in Ontology−to−Ontology Mappings | BibTeX data for Detecting and Correcting Conservativity Principle Violations in Ontology−to−Ontology Mappings | Download  (pdf) of Detecting and Correcting Conservativity Principle Violations in Ontology−to−Ontology Mappings

• [40]

  SemFacet: Semantic Faceted Search over Yago

  Bernardo Cuenca Grau‚ Evgeny Kharlamov‚ Sarunas Marciuska‚ Dmitriy Zheleznyakov‚ Marcelo Arenas and Ernesto Jimenez−Ruiz

  In WWW Demo. Pages 123−126. 2014.

  http://www.cs.ox.ac.uk/isg/tools/SemFacet/

  Details about SemFacet: Semantic Faceted Search over Yago | BibTeX data for SemFacet: Semantic Faceted Search over Yago | Download  (pdf) of SemFacet: Semantic Faceted Search over Yago | Link to SemFacet: Semantic Faceted Search over Yago

• [41]

  A Preliminary Approach on Ontology−Based Visual Query Formulation for Big Data

  Dmitriy Zheleznyakov Ahmet Soylu Martin G. Skjæveland Martin Giese Ian Horrocks Ernesto Jiménez−Ruiz Evgeny Kharlamov

  In 7th Research Conference on Metadata and Semantics Research (MTSR). Vol. 390 of Communications in Computer and Information Science. Pages 201−212. Springer. November, 2013.

  Acceptance rate: 32%

  Details about A Preliminary Approach on Ontology−Based Visual Query Formulation for Big Data | BibTeX data for A Preliminary Approach on Ontology−Based Visual Query Formulation for Big Data | Download  (pdf) of A Preliminary Approach on Ontology−Based Visual Query Formulation for Big Data

• [42]

  OptiqueVQS: towards an ontology−based visual query system for big data

  Ahmet Soylu‚ Martin Giese‚ Ernesto Jiménez−Ruiz‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov and Ian Horrocks

  In Fifth International Conference on Management of Emergent Digital EcoSystems (MEDES). Pages 119−126. ACM. October, 2013.

  Details about OptiqueVQS: towards an ontology−based visual query system for big data | BibTeX data for OptiqueVQS: towards an ontology−based visual query system for big data | Download  (pdf) of OptiqueVQS: towards an ontology−based visual query system for big data

• [43]

  Concrete Results on Abstract Rules

  Markus Krötzsch‚ Despoina Magka and Ian Horrocks

  In Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning. September, 2013.

  Details about Concrete Results on Abstract Rules | BibTeX data for Concrete Results on Abstract Rules | Download  (pdf) of Concrete Results on Abstract Rules

• [44]

  Evaluating Mapping Repair Systems with Large Biomedical Ontologies

  Ernesto Jiménez−Ruiz‚ Christian Meilicke‚ Bernardo Cuenca Grau and Ian Horrocks

  In 26th International Workshop on Description Logics. July, 2013.

  Details about Evaluating Mapping Repair Systems with Large Biomedical Ontologies | BibTeX data for Evaluating Mapping Repair Systems with Large Biomedical Ontologies | Download  (pdf) of Evaluating Mapping Repair Systems with Large Biomedical Ontologies

• [45]

  On Inconsistency−Aware Knowledge and Action Bases: Semantics and Verification

  Diego Calvanese‚ Evgeny Kharlamov‚ Marco Montali‚ Ario Santoso and Dmitry Zheleznyakov

  In Proc. of International Joint Conference on Artificial Intelligence (IJCAI). Pages 810−816. 2013.

  Acceptance rate: 28%

  Details about On Inconsistency−Aware Knowledge and Action Bases: Semantics and Verification | BibTeX data for On Inconsistency−Aware Knowledge and Action Bases: Semantics and Verification | Download  (pdf) of On Inconsistency−Aware Knowledge and Action Bases: Semantics and Verification

• [46]

  Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper)

  Herald Kllapi‚ Dimitris Bilidas‚ Ian Horrocks‚ Yannis Ioannidis‚ Ernesto Jiménez−Ruiz‚ Evgeny Kharlamov‚ Manolis Koubarakis and Dmitriy Zheleznyakov

  In OWL Experiences and Directions Workshop (OWLED). 2013.

  Details about Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper) | BibTeX data for Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper) | Download  (pdf) of Distributed Query Processing on the Cloud: the Optique Point of View (Short Paper)

• [47]

  Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach (Statement of Interest)

  Ian Horrocks‚ Thomas Hubauer‚ Ernesto Jiménez−Ruiz‚ Evgeny Kharlamov‚ Manolis Koubarakis‚ Ralf Möller‚ Konstantina Bereta‚ Christian Neuenstadt‚ Özgür Özçep‚ Mikhail Roshchin‚ Panayiotis Smeros and Dmitriy Zheleznyakov

  In Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data (Know@LOD). 2013.

  Details about Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach (Statement of Interest) | BibTeX data for Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach (Statement of Interest) | Download  (pdf) of Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach (Statement of Interest)

• [48]

  On Rewriting and Answering Queries in OBDA Systems for Big Data (Short Paper)

  Diego Calvanese‚ Ian Horrocks‚ Ernesto Jiménez−Ruiz‚ Evgeny Kharlamov‚ Michael Meier‚ Mariano Rodriguez−Muro and Dmitriy Zheleznyakov

  In OWL Experiences and Directions Workshop (OWLED). 2013.

  Details about On Rewriting and Answering Queries in OBDA Systems for Big Data (Short Paper) | BibTeX data for On Rewriting and Answering Queries in OBDA Systems for Big Data (Short Paper) | Download  (pdf) of On Rewriting and Answering Queries in OBDA Systems for Big Data (Short Paper)

• [49]

  Optique System: Towards Ontology and Mapping Management in OBDA Solutions

  Peter Haase‚ Ian Horrocks‚ Dag Hovland‚ Thomas Hubauer‚ Ernesto Jiménez−Ruiz‚ Evgeny Kharlamov‚ Johan Klüwer‚ Christoph Pinkel‚ Riccardo Rosati‚ Valerio Santarelli‚ Ahmet Soylu and Dmitriy Zheleznyakov

  In Workshop on Debugging Ontologies and Ontology Mappings (WoDOOM). 2013.

  Details about Optique System: Towards Ontology and Mapping Management in OBDA Solutions | BibTeX data for Optique System: Towards Ontology and Mapping Management in OBDA Solutions | Download  (pdf) of Optique System: Towards Ontology and Mapping Management in OBDA Solutions

• [50]

  Optique: OBDA Solution for Big Data

  D. Calvanese‚ M. Giese‚ P. Haase‚ I. Horrocks‚ T. Hubauer‚ Y. Ioannidis‚ E. Jiménez−Ruiz‚ E. Kharlamov‚ H. Kllapi‚ J. Klüwer‚ M. Koubarakis‚ S. Lamparter‚ R. Möller‚ C. Neuenstadt‚ T. Nordtveit‚ Ö. Özcep‚ M. ­driguez−Muro‚Ro M. Roshchin‚ Marco Ruzzi‚ F. Savo‚ M. Schmidt‚ A. Soylu and D. Zheleznyakov

  In Poster track of the Extended Semantic Web Conference. 2013.

  Details about Optique: OBDA Solution for Big Data | BibTeX data for Optique: OBDA Solution for Big Data | Download  (pdf) of Optique: OBDA Solution for Big Data

• [51]

  The Optique Project: Towards OBDA Systems for Industry (Short Paper)

  D. Calvanese‚ M. Giese‚ P. Haase‚ I. Horrocks‚ T. Hubauer‚ Y. Ioannidis‚ E. Jiménez−Ruiz‚ E. Kharlamov‚ H. Kllapi‚ J. Klüwer‚ M. Koubarakis‚ S. Lamparter‚ R. Möller‚ C. Neuenstadt‚ T. Nordtveit‚ Ö. Özcep‚ M. ­driguez−Muro‚Ro M. Roshchin‚ Marco Ruzzi‚ F. Savo‚ M. Schmidt‚ A. Soylu‚ A. Waaler and D. Zheleznyakov

  In OWL Experiences and Directions Workshop (OWLED). 2013.

  Details about The Optique Project: Towards OBDA Systems for Industry (Short Paper) | BibTeX data for The Optique Project: Towards OBDA Systems for Industry (Short Paper) | Download  (pdf) of The Optique Project: Towards OBDA Systems for Industry (Short Paper)

• [52]

  Towards Query Formulation and Query−Driven Ontology Extensions in OBDA

  Bernardo Cuenca Grau‚ Martin Giese‚ Ian Horrocks‚ Thomas Hubauer‚ Ernesto Jiménez−Ruiz‚ Evgeny Kharlamov‚ Michael Schmidt‚ Ahmet Soylu and Dmitriy Zheleznyakov

  In OWL Experiences and Directions Workshop (OWLED). 2013.

  Details about Towards Query Formulation and Query−Driven Ontology Extensions in OBDA | BibTeX data for Towards Query Formulation and Query−Driven Ontology Extensions in OBDA | Download  (pdf) of Towards Query Formulation and Query−Driven Ontology Extensions in OBDA

• [53]

  Computing Stable Models for Nonmonotonic Existential Rules

  Despoina Magka‚ Markus Krötzsch and Ian Horrocks

  In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). August, 2013.

  Details about Computing Stable Models for Nonmonotonic Existential Rules | BibTeX data for Computing Stable Models for Nonmonotonic Existential Rules | Download slides.pdf of Computing Stable Models for Nonmonotonic Existential Rules | Download paper.pdf of Computing Stable Models for Nonmonotonic Existential Rules

• [54]

  Ontology−Based Classification of Molecules: a Logic Programming Approach

  Despoina Magka

  In Proceedings of the 5th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2012). November, 2012.

  Best paper prize

  Details about Ontology−Based Classification of Molecules: a Logic Programming Approach | BibTeX data for Ontology−Based Classification of Molecules: a Logic Programming Approach | Download slides (pdf) of Ontology−Based Classification of Molecules: a Logic Programming Approach | Download paper (pdf) of Ontology−Based Classification of Molecules: a Logic Programming Approach

• [55]

  LogMap and LogMapLt results for OAEI 2012

  Ernesto Jiménez−Ruiz‚ Bernardo Cuenca Grau and Ian Horrocks

  In The Seventh International Workshop on Ontology Matching (OM). November, 2012.

  Details about LogMap and LogMapLt results for OAEI 2012 | BibTeX data for LogMap and LogMapLt results for OAEI 2012 | Download  (pdf) of LogMap and LogMapLt results for OAEI 2012 | Download (pdf) of LogMap and LogMapLt results for OAEI 2012

• [56]

  Modelling Structured Domains Using Description Graphs and Logic Programming.

  Despoina Magka‚ Boris Motik and Ian Horrocks

  In Proceedings of the The 25th International Workshop on Description Logics (DL 2012). Vol. 846. CEUR. June, 2012.

  Details about Modelling Structured Domains Using Description Graphs and Logic Programming. | BibTeX data for Modelling Structured Domains Using Description Graphs and Logic Programming. | Download slides (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming. | Download paper (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming.

• [57]

  Classifying Chemicals Using Description Graphs and Logic Programming

  Despoina Magka‚ Boris Motik and Ian Horrocks

  In Proceedings of the 9th OWL: Experiences and Directions Workshop (OWLED 2012). Vol. 849. CEUR−WS.org. May, 2012.

  Details about Classifying Chemicals Using Description Graphs and Logic Programming | BibTeX data for Classifying Chemicals Using Description Graphs and Logic Programming | Download slides (pdf) of Classifying Chemicals Using Description Graphs and Logic Programming | Download paper (pdf) of Classifying Chemicals Using Description Graphs and Logic Programming

• [58]

  Modelling Structured Domains Using Description Graphs and Logic Programming.

  Despoina Magka‚ Boris Motik and Ian Horrocks

  In Proceedings of the 9th Extended Semantic Web Conference (ESWC 2012). Vol. 7925. Springer. June, 2012.

  Details about Modelling Structured Domains Using Description Graphs and Logic Programming. | BibTeX data for Modelling Structured Domains Using Description Graphs and Logic Programming. | Download slides (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming. | Download paper (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming.

• [59]

  Exploiting the UMLS Metathesaurus in the Ontology Alignment Evaluation Initiative

  Ernesto Jimenez−Ruiz‚ Bernardo Cuenca Grau and Ian Horrocks

  In 2nd International Workshop on Exploiting Large Knowledge Repositories (E−LKR). CEUR−WS.org. September, 2012.

  Details about Exploiting the UMLS Metathesaurus in the Ontology Alignment Evaluation Initiative | BibTeX data for Exploiting the UMLS Metathesaurus in the Ontology Alignment Evaluation Initiative | Download  (pdf) of Exploiting the UMLS Metathesaurus in the Ontology Alignment Evaluation Initiative

• [60]

  Acyclicity Conditions and their Application to Query Answering in Description Logics

  Bernardo Cuenca Grau‚ Ian Horrocks‚ Markus Kroetsch‚ Clemens Kupke‚ Despoina Magka‚ Boris Motik and Zhe Wang

  In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). 2012.

  Accepted for Publication

  Details about Acyclicity Conditions and their Application to Query Answering in Description Logics | BibTeX data for Acyclicity Conditions and their Application to Query Answering in Description Logics | Download  (pdf) of Acyclicity Conditions and their Application to Query Answering in Description Logics

• [61]

  Benchmarking Ontology−based Query Rewriting Systems

  Martha Imprialou‚ Giorgos Stoilos and Bernardo Cuenca Grau

  In Proceedings of the Twenty−Sixth AAAI Conference on Artificial Intelligence (AAAI 2012). AAAI Press. July, 2012.

  Details about Benchmarking Ontology−based Query Rewriting Systems | BibTeX data for Benchmarking Ontology−based Query Rewriting Systems | Download  (pdf) of Benchmarking Ontology−based Query Rewriting Systems

• [62]

  Efficient Upper Bound Computation of Query Answers in Expressive Description Logics

  Yujiao Zhou‚ Bernardo Cuenca Grau and Ian Horrocks

  In Proceedings of the 25th International Workshop on Description Logics (DL 2012). CEUR. 2012.

  Details about Efficient Upper Bound Computation of Query Answers in Expressive Description Logics | BibTeX data for Efficient Upper Bound Computation of Query Answers in Expressive Description Logics | Download  (pdf) of Efficient Upper Bound Computation of Query Answers in Expressive Description Logics

• [63]

  Ontology Contraction: Beyond Propositional Paradise

  Bernardo Cuenca Grau‚ Evgeny Kharlamov and Dmitriy Zheleznyakov

  In Proceedings of the 6th AMW Workshop on Data Management. June, 2012.

  Details about Ontology Contraction: Beyond Propositional Paradise | BibTeX data for Ontology Contraction: Beyond Propositional Paradise | Download  (pdf) of Ontology Contraction: Beyond Propositional Paradise

• [64]

  Modular Combination of Reasoners for Ontology Classification

  Ana Armas Romero‚ Bernardo Cuenca Grau and Ian Horrocks

  In Proceedings of the 25th International Workshop on Description Logics (DL 2012). June, 2012.

  Details about Modular Combination of Reasoners for Ontology Classification | BibTeX data for Modular Combination of Reasoners for Ontology Classification | Download PublicationFile of Modular Combination of Reasoners for Ontology Classification | Download PublicationFile of Modular Combination of Reasoners for Ontology Classification | Download ModClassDL12.pdf of Modular Combination of Reasoners for Ontology Classification

• [65]

  On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems

  Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau and Ian Horrocks

  In OWL Reasoner Evaluation Workshop (ORE). 2012.

  Details about On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems | BibTeX data for On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems | Download  (pdf) of On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems

• [66]

  Large−scale Interactive Ontology Matching: Algorithms and Implementation

  Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Yujiao Zhou and Ian Horrocks

  In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI). Pages 444−449. IOS Press. 2012.

  Details about Large−scale Interactive Ontology Matching: Algorithms and Implementation | BibTeX data for Large−scale Interactive Ontology Matching: Algorithms and Implementation | Download  (pdf) of Large−scale Interactive Ontology Matching: Algorithms and Implementation | DOI (doi:10.3233/978-1-61499-098-7-444)

• [67]

  On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces

  Roman Kontchakov‚ Yavor Nenov‚ Ian Pratt−Hartmann and Michael Zakharyaschev

  In IJCAI 2011‚ Proceedings of the 22nd International Joint Conference on Artificial Intelligence‚ Barcelona‚ Catalonia‚ Spain‚ July 16−22‚ 2011. Pages 957–962. 2011.

  Details about On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces | BibTeX data for On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces

• [68]

  Chemical Knowledge Representation with Description Graphs and Logic Programming

  Despoina Magka‚ Boris Motik and Ian Horrocks

  In Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2011). Pages 74−75. ACM. December, 2011.

  Details about Chemical Knowledge Representation with Description Graphs and Logic Programming | BibTeX data for Chemical Knowledge Representation with Description Graphs and Logic Programming | Download slides (pdf) of Chemical Knowledge Representation with Description Graphs and Logic Programming | Download paper (pdf) of Chemical Knowledge Representation with Description Graphs and Logic Programming

• [69]

  The Complexity of Conjunctive Query Abduction in DL−Lite

  Diego Calvanese‚ Magdalena Ortiz‚ Mantas Simkus and Giorgio Stefanoni

  In Proceedings of the 24th International Workshop on Description Logics. 2011.

  Details about The Complexity of Conjunctive Query Abduction in DL−Lite | BibTeX data for The Complexity of Conjunctive Query Abduction in DL−Lite | Download  (pdf) of The Complexity of Conjunctive Query Abduction in DL−Lite | Download (pdf) of The Complexity of Conjunctive Query Abduction in DL−Lite

• [70]

  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/

  Details about LogMap results for OAEI 2011 | BibTeX data for LogMap results for OAEI 2011 | Download  (pdf) of LogMap results for OAEI 2011 | Link to LogMap results for OAEI 2011

• [71]

  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.

  Details about Towards more challenging problems for ontology matching tools | BibTeX data for Towards more challenging problems for ontology matching tools | Download  (pdf) of Towards more challenging problems for ontology matching tools | Link to Towards more challenging problems for ontology matching tools

• [72]

  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.

  Details about LogMap: Logic−Based and Scalable Ontology Matching | BibTeX data for LogMap: Logic−Based and Scalable Ontology Matching | Download  (pdf) of LogMap: Logic−Based and Scalable Ontology Matching | Download (pdf) of LogMap: Logic−Based and Scalable Ontology Matching

• [73]

  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

  Details about Status QIO: An Update | BibTeX data for Status QIO: An Update | Download  (pdf) of Status QIO: An Update

• [74]

  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

  Details about SPARQL Query Answering over OWL Ontologies | BibTeX data for SPARQL Query Answering over OWL Ontologies | Download  (pdf) of SPARQL Query Answering over OWL Ontologies

• [75]

  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

  Details about Reasoning−Supported Interactive Revision of Knowledge Bases | BibTeX data for Reasoning−Supported Interactive Revision of Knowledge Bases | Download  (pdf) of Reasoning−Supported Interactive Revision of Knowledge Bases

• [76]

  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

  Details about Reasoning−Supported Interactive Revision of Knowledge Bases | BibTeX data for Reasoning−Supported Interactive Revision of Knowledge Bases | Download  (pdf) of Reasoning−Supported Interactive Revision of Knowledge Bases

• [77]

  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

  Details about Query Answering over SROIQ Knowledge Bases with SPARQL | BibTeX data for Query Answering over SROIQ Knowledge Bases with SPARQL | Download  (pdf) of Query Answering over SROIQ Knowledge Bases with SPARQL

• [78]

  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.

  Details about Answering Queries over OWL Ontologies with SPARQL | BibTeX data for Answering Queries over OWL Ontologies with SPARQL | Download  (pdf) of Answering Queries over OWL Ontologies with SPARQL

• [79]

  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.

  Details about What to ask to an incomplete Semantic Web reasoner? | BibTeX data for What to ask to an incomplete Semantic Web reasoner? | Download  (pdf) of What to ask to an incomplete Semantic Web reasoner?

• [80]

  On the Computability of Region−Based Euclidean Logics

  Yavor Nenov and Ian Pratt−Hartmann

  In CSL. Pages 439−453. 2010.

  Details about On the Computability of Region−Based Euclidean Logics | BibTeX data for On the Computability of Region−Based Euclidean Logics

• [81]

  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.

  Details about Beazley: a new storage systems evaluation | BibTeX data for Beazley: a new storage systems evaluation

• [82]

  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.

  Details about Tractable Extensions of the Description Logic EL with Numerical Datatypes | BibTeX data for Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download  (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes

• [83]

  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.

  Details about Tractable Extensions of the Description Logic EL with Numerical Datatypes | BibTeX data for Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download  (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes

• [84]

  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.

  Details about An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ | BibTeX data for An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ | Download  (pdf) of An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ

• [85]

  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.

  Details about SPARQL Beyond Subgraph Matching | BibTeX data for SPARQL Beyond Subgraph Matching | Download  (pdf) of SPARQL Beyond Subgraph Matching

• [86]

  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.

  Details about Integrated Metamodeling and Diagnosis in OWL 2 | BibTeX data for Integrated Metamodeling and Diagnosis in OWL 2 | Download  (pdf) of Integrated Metamodeling and Diagnosis in OWL 2

• [87]

  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.

  Details about Status QIO: Conjunctive Query Entailment is Decidable | BibTeX data for Status QIO: Conjunctive Query Entailment is Decidable | Download  (pdf) of Status QIO: Conjunctive Query Entailment is Decidable

• [88]

  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.

  Details about Optimized DL Reasoning via Core Blocking | BibTeX data for Optimized DL Reasoning via Core Blocking | Download  (pdf) of Optimized DL Reasoning via Core Blocking

• [89]

  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.

  Details about Optimized Description Logic Reasoning via Core Blocking | BibTeX data for Optimized Description Logic Reasoning via Core Blocking | Download  (pdf) of Optimized Description Logic Reasoning via Core Blocking

• [90]

  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.

  Details about Optimising Ontology Classification | BibTeX data for Optimising Ontology Classification | Download  (pdf) of Optimising Ontology Classification

• [91]

  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.

  Details about Pushing the Limits of Reasoning over Ontologies with Hidden Content | BibTeX data for Pushing the Limits of Reasoning over Ontologies with Hidden Content | Download  (pdf) of Pushing the Limits of Reasoning over Ontologies with Hidden Content | Download (pdf) of Pushing the Limits of Reasoning over Ontologies with Hidden Content

• [92]

  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

  Details about How Incomplete is your Semantic Web Reasoner? | BibTeX data for How Incomplete is your Semantic Web Reasoner? | Download  (pdf) of How Incomplete is your Semantic Web Reasoner? | Download (pdf) of How Incomplete is your Semantic Web Reasoner?

• [93]

  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.

  Details about Completeness Guarantees for Incomplete Reasoners | BibTeX data for Completeness Guarantees for Incomplete Reasoners | Download  (pdf) of Completeness Guarantees for Incomplete Reasoners

• [94]

  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.

  Details about A Comparison of Query Rewriting Techniques for DL−Lite | BibTeX data for A Comparison of Query Rewriting Techniques for DL−Lite

• [95]

  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.

  Details about Practical Considerations for Query Answering in OWL 2 | BibTeX data for Practical Considerations for Query Answering in OWL 2

• [96]

  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. July, 2009.

  Details about Import−by−Query: Ontology Reasoning under Access Limitations | BibTeX data for Import−by−Query: Ontology Reasoning under Access Limitations | Download (pdf) of Import−by−Query: Ontology Reasoning under Access Limitations

• [97]

  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.

  Details about Consequence−Driven Reasoning for Horn SHIQ Ontologies | BibTeX data for Consequence−Driven Reasoning for Horn SHIQ Ontologies | Download (pdf) of Consequence−Driven Reasoning for Horn SHIQ Ontologies

• [98]

  Consequence−Driven Reasoning for Horn SHIQ Ontologies

  Yevgeny Kazakov

  In Proceedings of the 21st International Conference on Artificial Intelligence (IJCAI 2009). Pages 2040−2045. July, 2009.

  Details about Consequence−Driven Reasoning for Horn SHIQ Ontologies | BibTeX data for Consequence−Driven Reasoning for Horn SHIQ Ontologies | Download  (pdf) of Consequence−Driven Reasoning for Horn SHIQ Ontologies | Download (pdf) of Consequence−Driven Reasoning for Horn SHIQ Ontologies

• [99]

  Classifying ELH Ontologies In SQL Databases

  Vincent Delaitre and Yevgeny Kazakov

  In OWL: Experiences and Directions 2009 (OWLED 2009). Chantilly‚ VA‚ United States. October, 2009.

  Details about Classifying ELH Ontologies In SQL Databases | BibTeX data for Classifying ELH Ontologies In SQL Databases

• [100]

  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.

  Details about An Extension of Regularity Conditions for Complex Role Inclusion Axioms | BibTeX data for An Extension of Regularity Conditions for Complex Role Inclusion Axioms | Download (pdf) of An Extension of Regularity Conditions for Complex Role Inclusion Axioms

• [101]

  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. August, 2009.

  Details about A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics | BibTeX data for A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics | Download  (pdf) of A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

• [102]

  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.

  Details about Conjunctive Query Entailment: Decidable in Spite of O‚ I‚ and Q | BibTeX data for Conjunctive Query Entailment: Decidable in Spite of O‚ I‚ and Q | Download  (pdf) of Conjunctive Query Entailment: Decidable in Spite of O‚ I‚ and Q

• [103]

  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.

  Details about A Syntax for Rules in OWL 2 | BibTeX data for A Syntax for Rules in OWL 2 | Download  (pdf) of A Syntax for Rules in OWL 2

• [104]

  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.

  Details about Towards a Logic−based Assessment of the compatibility of UMLS sources | BibTeX data for Towards a Logic−based Assessment of the compatibility of UMLS sources

• [105]

  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.

  Details about Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences | BibTeX data for Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences | Download  (pdf) of Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences | Link to Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences

• [106]

  Importing Ontologies with Hidden Content

  Bernardo Cuenca Grau and Boris Motik

  In Proceedings of the 22nd International Workshop on Description Logics (DL 2009). 2009.

  Details about Importing Ontologies with Hidden Content | BibTeX data for Importing Ontologies with Hidden Content | Download  (pdf) of Importing Ontologies with Hidden Content | Download (pdf) of Importing Ontologies with Hidden Content

• [107]

  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.

  Details about Import−by−Query: Ontology Reasoning under Access Limitations | BibTeX data for Import−by−Query: Ontology Reasoning under Access Limitations | Download  (pdf) of Import−by−Query: Ontology Reasoning under Access Limitations | Download (pdf) of Import−by−Query: Ontology Reasoning under Access Limitations

• [108]

  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.

  Details about ContentCVS: A CVS−based Collaborative ONTology ENgineering Tool (Demo Paper) | BibTeX data for ContentCVS: A CVS−based Collaborative ONTology ENgineering Tool (Demo Paper) | Download  (pdf) of ContentCVS: A CVS−based Collaborative ONTology ENgineering Tool (Demo Paper)

• [109]

  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.

  Details about Building Ontologies Collaboratively Using ContentCVS | BibTeX data for Building Ontologies Collaboratively Using ContentCVS | Download  (pdf) of Building Ontologies Collaboratively Using ContentCVS | Download (pdf) of Building Ontologies Collaboratively Using ContentCVS

• [110]

  Modal logics for mereotopological relations

  Yavor Nenov and Dimiter Vakarelov

  In 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. 2008.

  Details about Modal logics for mereotopological relations | BibTeX data for Modal logics for mereotopological relations

• [111]

  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.

  Details about Medical Data Integration and the Semantic Annotation of Medical Protocols | BibTeX data for Medical Data Integration and the Semantic Annotation of Medical Protocols

• [112]

  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.

  Details about Approximate Structure−Preserving Semantic Matching | BibTeX data for Approximate Structure−Preserving Semantic Matching

• [113]

  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.

  Details about Rewriting Conjunctive Queries under Description Logic Constraints | BibTeX data for Rewriting Conjunctive Queries under Description Logic Constraints | Download  (pdf) of Rewriting Conjunctive Queries under Description Logic Constraints

• [114]

  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.

  Details about Rewriting Conjunctive Queries over Description Logic Knowledge Bases | BibTeX data for Rewriting Conjunctive Queries over Description Logic Knowledge Bases | Download  (pdf) of Rewriting Conjunctive Queries over Description Logic Knowledge Bases

• [115]

  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

  Details about SRIQ and SROIQ are Harder than SHOIQ | BibTeX data for SRIQ and SROIQ are Harder than SHOIQ | Download  (pdf) of SRIQ and SROIQ are Harder than SHOIQ | Download (pdf) of SRIQ and SROIQ are Harder than SHOIQ

• [116]

  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.

  Details about Role Conjunctions in Expressive Description Logics | BibTeX data for Role Conjunctions in Expressive Description Logics | Download  (pdf) of Role Conjunctions in Expressive Description Logics | Link to Role Conjunctions in Expressive Description Logics

• [117]

  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.

  Details about RIQ and SROIQ are Harder than SHOIQ | BibTeX data for RIQ and SROIQ are Harder than SHOIQ | Download  (pdf) of RIQ and SROIQ are Harder than SHOIQ

• [118]

  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.

  Details about Unions of Conjunctive Queries in SHOQ | BibTeX data for Unions of Conjunctive Queries in SHOQ | Download  (pdf) of Unions of Conjunctive Queries in SHOQ

• [119]

  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.

  Details about Role Conjunctions in Expressive Description Logics | BibTeX data for Role Conjunctions in Expressive Description Logics | Download  (pdf) of Role Conjunctions in Expressive Description Logics

• [120]

  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.

  Details about Modeling Ontologies Using OWL‚ Description Graphs and Rules | BibTeX data for Modeling Ontologies Using OWL‚ Description Graphs and Rules | Download  (pdf) of Modeling Ontologies Using OWL‚ Description Graphs and Rules

• [121]

  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. April, 2008. ACM Press.

  Details about Structured Objects in OWL: Representation and Reasoning | BibTeX data for Structured Objects in OWL: Representation and Reasoning | Download  (pdf) of Structured Objects in OWL: Representation and Reasoning | Download (pdf) of Structured Objects in OWL: Representation and Reasoning

• [122]

  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.

  Details about The Representation of Structured Objects in DLs using Description Graphs | BibTeX data for The Representation of Structured Objects in DLs using Description Graphs | Download  (pdf) of The Representation of Structured Objects in DLs using Description Graphs

• [123]

  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)

  Details about Safe and Economic re−use of ontologies: a logic−based methodology and tool support | BibTeX data for Safe and Economic re−use of ontologies: a logic−based methodology and tool support

• [124]

  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.

  Details about Safe and Economic re−use of ontologies: a logic−based methodology and tool support | BibTeX data for Safe and Economic re−use of ontologies: a logic−based methodology and tool support | Download safe-eco-reuse-report.pdf of Safe and Economic re−use of ontologies: a logic−based methodology and tool support | Download Safe-economic-reuse.pdf of Safe and Economic re−use of ontologies: a logic−based methodology and tool support

• [125]

  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.

  Details about Representing Structured Objects using Description Graphs | BibTeX data for Representing Structured Objects using Description Graphs | Download  (pdf) of Representing Structured Objects using Description Graphs | Download (pdf) of Representing Structured Objects using Description Graphs

• [126]

  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.

  Details about Privacy−preserving Query Answering in Logic−based Information Systems | BibTeX data for Privacy−preserving Query Answering in Logic−based Information Systems | Download  (pdf) of Privacy−preserving Query Answering in Logic−based Information Systems

• [127]

  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.

  Details about Metalevel Information in Ontology−Based Applications | BibTeX data for Metalevel Information in Ontology−Based Applications | Download  (pdf) of Metalevel Information in Ontology−Based Applications | Download (pdf) of Metalevel Information in Ontology−Based Applications

• [128]

  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.

  Details about OntoPath: A Language for Retrieving Ontology Fragments | BibTeX data for OntoPath: A Language for Retrieving Ontology Fragments

• [129]

  Structure preserving semantic matching

  M. Yatskevich F. Giunchiglia P. Shvaiko

  In In Proceedings of the International Workshop on Ontology Matching. 2007.

  Details about Structure preserving semantic matching | BibTeX data for Structure preserving semantic matching

• [130]

  Background knowledge in ontology matching

  M. Yatskevich F. Giunchiglia P. Shvaiko

  In In Bertinoro Workshop on Information Integration. 2007.

  Details about Background knowledge in ontology matching | BibTeX data for Background knowledge in ontology matching

• [131]

  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. June, 2007. Bozen/Bolzano University Press.

  Details about Ontology Reuse: Better Safe than Sorry. | BibTeX data for Ontology Reuse: Better Safe than Sorry. | Link to Ontology Reuse: Better Safe than Sorry.

• [132]

  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.

  Details about Just the Right Amount: Extracting Modules from Ontologies. | BibTeX data for Just the Right Amount: Extracting Modules from Ontologies. | Link to Just the Right Amount: Extracting Modules from Ontologies.

• [133]

  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.

  Details about How Many Legs Do I Have? Non−Simple Roles in Number Restrictions Revisited | BibTeX data for How Many Legs Do I Have? Non−Simple Roles in Number Restrictions Revisited | DOI (10.1007/978-3-540-75560-9_23)

• [134]

  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.

  Details about History Matters: Incremental Ontology Reasoning Using Modules | BibTeX data for History Matters: Incremental Ontology Reasoning Using Modules | DOI (10.1007/978-3-540-76298-0_14)

• [135]

  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. June, 2007.

  Details about Extracting Modules From Ontologies: A Logic−based Approach | BibTeX data for Extracting Modules From Ontologies: A Logic−based Approach | Link to Extracting Modules From Ontologies: A Logic−based Approach

• [136]

  A Logical Framework for Modularity of Ontologies.

  Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler

  In IJCAI. Pages 298−303. 2007.

  Details about A Logical Framework for Modularity of Ontologies. | BibTeX data for A Logical Framework for Modularity of Ontologies. | Download (pdf) of A Logical Framework for Modularity of Ontologies.

• [137]

  Conjunctive Query Entailment for SHOQ

  Birte Glimm‚ Ian Horrocks and Uli Sattler

  In Proceedings of the 2007 Description Logic Workshop (DL 2007). 2007.

  Details about Conjunctive Query Entailment for SHOQ | BibTeX data for Conjunctive Query Entailment for SHOQ | Download  (pdf) of Conjunctive Query Entailment for SHOQ

• [138]

  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.

  Details about Conjunctive Query Answering in the Description Logic SHIQ | BibTeX data for Conjunctive Query Answering in the Description Logic SHIQ | Download  (pdf) of Conjunctive Query Answering in the Description Logic SHIQ

• [139]

  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.

  Details about Ontology Reuse: Better Safe than Sorry | BibTeX data for Ontology Reuse: Better Safe than Sorry | Download  (pdf) of Ontology Reuse: Better Safe than Sorry | Download (pdf) of Ontology Reuse: Better Safe than Sorry

• [140]

  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.

  Details about Modular Ontology Languages Revisited | BibTeX data for Modular Ontology Languages Revisited | Download  (pdf) of Modular Ontology Languages Revisited | Download (pdf) of Modular Ontology Languages Revisited

• [141]

  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.

  Details about Just the Right Amount: Extracting Modules from Ontologies | BibTeX data for Just the Right Amount: Extracting Modules from Ontologies | Download  (pdf) of Just the Right Amount: Extracting Modules from Ontologies | Download (pdf) of Just the Right Amount: Extracting Modules from Ontologies

• [142]

  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.

  Details about History Matters: Incremental Ontology Reasoning Using Modules | BibTeX data for History Matters: Incremental Ontology Reasoning Using Modules | Download  (pdf) of History Matters: Incremental Ontology Reasoning Using Modules | Download (pdf) of History Matters: Incremental Ontology Reasoning Using Modules

• [143]

  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.

  Details about Extracting Modules from Ontologies: A Logic−based Approach | BibTeX data for Extracting Modules from Ontologies: A Logic−based Approach

• [144]

  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.

  Details about A Logical Framework for Modularity of Ontologies. | BibTeX data for A Logical Framework for Modularity of Ontologies. | Download  (pdf) of A Logical Framework for Modularity of Ontologies. | Download (pdf) of A Logical Framework for Modularity of Ontologies.

• [145]

  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.

  Details about The Management and Integration of Biomedical Knowledge: Application in the Health−e−Child Project (Position Paper) | BibTeX data for The Management and Integration of Biomedical Knowledge: Application in the Health−e−Child Project (Position Paper)

• [146]

  Discovering Missing Background Knowledge in Ontology Matching

  M. Yatskevich F. Giunchiglia P. Shvaiko

  In In Proceedings of ECAI'06. Pages 382−386. 2006.

  Details about Discovering Missing Background Knowledge in Ontology Matching | BibTeX data for Discovering Missing Background Knowledge in Ontology Matching

• [147]

  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.

  Details about First results of the ontology alignment evaluation initiative 2006 | BibTeX data for First results of the ontology alignment evaluation initiative 2006

• [148]

  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.

  Details about Coreference resolution on RDF Graphs generated from Information Extraction: first results | BibTeX data for Coreference resolution on RDF Graphs generated from Information Extraction: first results

• [149]

  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.

  Details about A Resolution−Based Decision Procedure for SHOIQ. | BibTeX data for A Resolution−Based Decision Procedure for SHOIQ. | DOI (10.1007/11814771_53) | Link to A Resolution−Based Decision Procedure for SHOIQ.

• [150]

  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.

  Details about Conjunctive Query Answering for Description Logics with Transitive Roles | BibTeX data for Conjunctive Query Answering for Description Logics with Transitive Roles | Download  (pdf) of Conjunctive Query Answering for Description Logics with Transitive Roles

• [151]

  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.

  Details about Will my Ontologies Fit Together? | BibTeX data for Will my Ontologies Fit Together? | Download  (pdf) of Will my Ontologies Fit Together? | Download (pdf) of Will my Ontologies Fit Together?

• [152]

  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.

  Details about Repairing Unsatisfiable Concepts in OWL Ontologies. | BibTeX data for Repairing Unsatisfiable Concepts in OWL Ontologies. | Download  (pdf) of Repairing Unsatisfiable Concepts in OWL Ontologies. | Download (pdf) of Repairing Unsatisfiable Concepts in OWL Ontologies.

• [153]

  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.

  Details about Next Steps for OWL | BibTeX data for Next Steps for OWL

• [154]

  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.

  Details about Modularity and Web Ontologies. | BibTeX data for Modularity and Web Ontologies. | Download  (pdf) of Modularity and Web Ontologies. | Download (pdf) of Modularity and Web Ontologies.

• [155]

  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.

  Details about Integrating Datalog with OWL: Exploring the AL−log Approach. | BibTeX data for Integrating Datalog with OWL: Exploring the AL−log Approach.

• [156]

  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.

  Details about From Wine to Water: Optimizing Description Logic Reasoning for Nominals. | BibTeX data for From Wine to Water: Optimizing Description Logic Reasoning for Nominals. | Download  (pdf) of From Wine to Water: Optimizing Description Logic Reasoning for Nominals. | Download (pdf) of From Wine to Water: Optimizing Description Logic Reasoning for Nominals.

• [157]

  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.

  Details about Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments | BibTeX data for Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments

• [158]

  Nonparametric Bayesian Logic

  Peter Carbonetto‚ Jacek Kisynski‚ Nando de Freitas and David Poole

  In Uncertainty in Artificial Intelligence (UAI). Pages 85–93. Arlington‚ Virginia. 2005. AUAI Press.

  Details about Nonparametric Bayesian Logic | BibTeX data for Nonparametric Bayesian Logic | Download (pdf) of Nonparametric Bayesian Logic

• [159]

  Semantic Schema Matching

  M. Yatskevich F. Giunchiglia P. Shvaiko

  In In Proceedings of CoopIS. Pages 347−360. 2005.

  Details about Semantic Schema Matching | BibTeX data for Semantic Schema Matching

• [160]

  Introduction to the ontology alignment evaluation 2005

  M. Yatskevich J. Euzenat H. Stuckenschmidt

  In In Proceedings of Workshop on Integrating Ontologies. 2005.

  Details about Introduction to the ontology alignment evaluation 2005 | BibTeX data for Introduction to the ontology alignment evaluation 2005

• [161]

  Efficient Semantic Matching

  E. Giunchiglia F. Giunchiglia M. Yatskevich

  In In Proceedings of European Semantic Web Conference. Pages 272−289. 2005.

  Details about Efficient Semantic Matching | BibTeX data for Efficient Semantic Matching

• [162]

  A large scale taxonomy mapping evaluation

  M. Yatskevich P. Avesani F. Giunchiglia

  In In Proceedings of International Semantic Web Conference. Pages 67−81. 2005.

  Details about A large scale taxonomy mapping evaluation | BibTeX data for A large scale taxonomy mapping evaluation

• [163]

  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.

  Details about SKIMA: Semantic Knowledge and Information Management | BibTeX data for SKIMA: Semantic Knowledge and Information Management | Download  (pdf) of SKIMA: Semantic Knowledge and Information Management

• [164]

  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.

  Details about Handling Cyclic Conjunctive Queries | BibTeX data for Handling Cyclic Conjunctive Queries | Download  (pdf) of Handling Cyclic Conjunctive Queries

• [165]

  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.

  Details about Swoop: A Web Ontology Engineering Framework | BibTeX data for Swoop: A Web Ontology Engineering Framework

• [166]

  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.

  Details about Semantic Web Research Trends and Directions | BibTeX data for Semantic Web Research Trends and Directions

• [167]

  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.

  Details about Representing Qualitative Spatial Information in OWL DL | BibTeX data for Representing Qualitative Spatial Information in OWL DL | Download  (pdf) of Representing Qualitative Spatial Information in OWL DL

• [168]

  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.

  Details about Modularizing OWL Ontologies | BibTeX data for Modularizing OWL Ontologies

• [169]

  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.

  Details about Modularizing OWL Ontologies | BibTeX data for Modularizing OWL Ontologies

• [170]

  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.

  Details about Generalized Link Properties for Expressive E−connections of Description Logics. | BibTeX data for Generalized Link Properties for Expressive E−connections of Description Logics. | Download (pdf) of Generalized Link Properties for Expressive E−connections of Description Logics.

• [171]

  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.

  Details about Automatic Partitioning of OWL Ontologies Using E−connections | BibTeX data for Automatic Partitioning of OWL Ontologies Using E−connections

• [172]

  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.

  Details about S−Match: an Algorithm and an Implementation of Semantic Matching | BibTeX data for S−Match: an Algorithm and an Implementation of Semantic Matching

• [173]

  Element level semantic matching

  M. Yatskevich F. Giunchiglia

  In In Proceedings of Meaning Coordination and Negotiation workshop. 2004.

  Details about Element level semantic matching | BibTeX data for Element level semantic matching

• [174]

  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.

  Details about A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. | BibTeX data for A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. | Link to A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.

• [175]

  A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.

  Yevgeny Kazakov

  In IJCAR Doctoral Programme. Vol. 106 of CEUR Workshop Proceedings. 2004.

  Details about A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. | BibTeX data for A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards. | Download (pdf) of A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.

• [176]

  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.

  Details about A Polynomial Translation from the Two−Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. | BibTeX data for A Polynomial Translation from the Two−Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. | Link to A Polynomial Translation from the Two−Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.

• [177]

  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.

  Details about Query Answering Systems in the Semantic Web | BibTeX data for Query Answering Systems in the Semantic Web | Download  (pdf) of Query Answering Systems in the Semantic Web

• [178]

  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.

  Details about Working with Multiple Ontologies on the Semantic Web. | BibTeX data for Working with Multiple Ontologies on the Semantic Web. | Download (pdf) of Working with Multiple Ontologies on the Semantic Web.

• [179]

  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.

  Details about From SHOQ(D) Toward E−connections | BibTeX data for From SHOQ(D) Toward E−connections

• [180]

  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.

  Details about A possible simplification of the semantic web architecture | BibTeX data for A possible simplification of the semantic web architecture

• [181]

  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.

  Details about Un Experimento con Actualizaciones | BibTeX data for Un Experimento con Actualizaciones

• [182]

  Subsumption of Concepts in FL₀ 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.

  Details about Subsumption of Concepts in FL₀ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE−complete. | BibTeX data for Subsumption of Concepts in FL₀ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE−complete. | Download (pdf) of Subsumption of Concepts in FL₀ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE−complete.

• [183]

  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.

  Details about Recursive resolution for modal logic | BibTeX data for Recursive resolution for modal logic

Technical reports

• [1]

  Extending Consequence−Based Reasoning to SHIQ

  Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks

  Department of Computer Science‚ University of Oxford. June, 2015.

  Details about Extending Consequence−Based Reasoning to SHIQ | BibTeX data for Extending Consequence−Based Reasoning to SHIQ | Download  (pdf) of Extending Consequence−Based Reasoning to SHIQ

• [2]

  Concurrent Classification of EL Ontologies

  Yevgeny Kazakov‚ Markus Krötzsch and František Simančík

  2011.

  Details about Concurrent Classification of EL Ontologies | BibTeX data for Concurrent Classification of EL Ontologies | Download  (pdf) of Concurrent Classification of EL Ontologies

• [3]

  Status QIO: An Update

  Birte Glimm‚ Yevgeny Kazakov and Carsten Lutz

  The University of Oxford. 2011.

  Details about Status QIO: An Update | BibTeX data for Status QIO: An Update | Download  (pdf) of Status QIO: An Update

• [4]

  Integrated Metamodeling and Diagnosis in OWL 2

  Birte Glimm‚ Sebastian Rudolph and Johanna Völker

  No. 3006. Institut AIFB‚ KIT. September, 2010.

  Technical Report

  Details about Integrated Metamodeling and Diagnosis in OWL 2 | BibTeX data for Integrated Metamodeling and Diagnosis in OWL 2 | Download  (pdf) of Integrated Metamodeling and Diagnosis in OWL 2

• [5]

  Optimized DL Reasoning via Core Blocking

  Birte Glimm‚ Ian Horrocks and Boris Motik

  Oxford University Computing Laboratory. 2010.

  Technical Report

  Details about Optimized DL Reasoning via Core Blocking | BibTeX data for Optimized DL Reasoning via Core Blocking | Download  (pdf) of Optimized DL Reasoning via Core Blocking

• [6]

  Optimising Ontology Classification

  Birte Glimm‚ Ian Horrocks‚ Boris Motik and Giorgos Stoilos

  Oxford University Computing Laboratory. 2010.

  Technical Report

  Details about Optimising Ontology Classification | BibTeX data for Optimising Ontology Classification | Download  (pdf) of Optimising Ontology Classification

• [7]

  Classifying ELH Ontologies in SQL Databases

  Vincent Delaitre and Yevgeny Kazakov

  The University of Oxford. 2009.

  Details about Classifying ELH Ontologies in SQL Databases | BibTeX data for Classifying ELH Ontologies in SQL Databases | Download  (pdf) of Classifying ELH Ontologies in SQL Databases

• [8]

  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

  Details about A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics | BibTeX data for A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics | Link to A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

• [9]

  Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries or Why Infinity is your Friend!

  Birte Glimm and Sebastian Rudolph

  Oxford University Compting Laboratory. 2009.

  Technical Report

  Details about Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries or Why Infinity is your Friend! | BibTeX data for Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries or Why Infinity is your Friend! | Download  (pdf) of Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries or Why Infinity is your Friend!

• [10]

  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

  Details about A Syntax for Rules in OWL 2 | BibTeX data for A Syntax for Rules in OWL 2 | Download  (pdf) of A Syntax for Rules in OWL 2

• [11]

  Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report)

  Héctor Pérez−Urbina‚ Boris Motik and Ian Horrocks

  University of Oxford. February, 2008.

  Details about Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report) | BibTeX data for Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report) | Download  (pdf) of Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report)

• [12]

  Role Conjunctions in Expressive Description Logics

  Birte Glimm and Yevgeny Kazakov

  The University of Oxford. 2008.

  Details about Role Conjunctions in Expressive Description Logics | BibTeX data for Role Conjunctions in Expressive Description Logics | Download  (pdf) of Role Conjunctions in Expressive Description Logics

• [13]

  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

  Details about Logic−based Information Integration | BibTeX data for Logic−based Information Integration | Download  (pdf) of Logic−based Information Integration

• [14]

  Is Your RBox Safe?

  Yevgeny Kazakov‚ Ulrike Sattler and Evgeny Zolin

  The University of Manchester. Oxford Road‚ Manchester M13 9PL‚ UK. July, 2007.

  Details about Is Your RBox Safe? | BibTeX data for Is Your RBox Safe?

• [15]

  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.

  Details about Extracting Modules from Ontologies: Theory and Practice | BibTeX data for Extracting Modules from Ontologies: Theory and Practice

• [16]

  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.

  Details about Conjunctive Query Answering in the Description Logic SHIQ | BibTeX data for Conjunctive Query Answering in the Description Logic SHIQ | Download  (pdf) of Conjunctive Query Answering in the Description Logic SHIQ

• [17]

  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.

  Details about Resolution Decision Procedures for the Guarded Fragment with Transitive Guards | BibTeX data for Resolution Decision Procedures for the Guarded Fragment with Transitive Guards

• [18]

  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.

  Details about Specification of Coordination of Rule and Ontology Languages | BibTeX data for Specification of Coordination of Rule and Ontology Languages | Download  (pdf) of Specification of Coordination of Rule and Ontology Languages

• [19]

  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.

  Details about Report on Query Language Design and Standardisation | BibTeX data for Report on Query Language Design and Standardisation | Download  (pdf) of Report on Query Language Design and Standardisation

• [20]

  Subsumption of concepts in DL FL₀ 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.

  Details about Subsumption of concepts in DL FL₀ for (cyclic) terminologies with respect to descriptive semantics is PSPACE−complete | BibTeX data for Subsumption of concepts in DL FL₀ for (cyclic) terminologies with respect to descriptive semantics is PSPACE−complete

• [21]

  On logic of knowledge with justifications

  S. Artemov‚ E. Kazakov and D. Shapiro

  No. CFIS 99−12. Cornell University. 1999.

  Details about On logic of knowledge with justifications | BibTeX data for On logic of knowledge with justifications

Theses

• [1]

  Logic−based support for Ontology Development in Open Environments

  Ernesto Jimenez−Ruiz

  PhD Thesis 2010.

  Details about Logic−based support for Ontology Development in Open Environments | BibTeX data for Logic−based support for Ontology Development in Open Environments | Download  (pdf) of Logic−based support for Ontology Development in Open Environments | Link to Logic−based support for Ontology Development in Open Environments

• [2]

  Querying Description Logic Knowledge Bases

  Birte Glimm

  PhD Thesis The University of Manchester. Manchester‚ United Kingdom. 2007.

  Details about Querying Description Logic Knowledge Bases | BibTeX data for Querying Description Logic Knowledge Bases | Download  (pdf) of Querying Description Logic Knowledge Bases

• [3]

  Saturation−Based Decision Procedures for Extensions of the Guarded Fragment

  Yevgeny Kazakov

  PhD Thesis Universität des Saarlandes. Saarbrücken‚ Germany. March, 2006.

  Details about Saturation−Based Decision Procedures for Extensions of the Guarded Fragment | BibTeX data for Saturation−Based Decision Procedures for Extensions of the Guarded Fragment

Miscellaneous

• [1]

  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.

  Details about OWL 2 Web Ontology Language: Profiles | BibTeX data for OWL 2 Web Ontology Language: Profiles

• [2]

  OWL 2 Web Ontology Language: Direct Semantics

  Peter F. Patel−Schneider Boris Motik and Bernardo Cuenca Grau

  World Wide Web Consortium (W3C) Recommendation. 2009.

  Details about OWL 2 Web Ontology Language: Direct Semantics | BibTeX data for OWL 2 Web Ontology Language: Direct Semantics | Link to OWL 2 Web Ontology Language: Direct Semantics

• [3]

  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

  Details about A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures | BibTeX data for A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures

• [4]

  Semantic Knowledge and Information Management in the Semantic Web

  Héctor Pérez−Urbina

  December, 2004.

  BSc. Thesis

  Details about Semantic Knowledge and Information Management in the Semantic Web | BibTeX data for Semantic Knowledge and Information Management in the Semantic Web | Download  (pdf) of Semantic Knowledge and Information Management in the Semantic Web

• [5]

  Combining Resolution Decision Procedures

  Yevgeny Kazakov

  2004.

  unpublished manuscript‚ available from http://web.comlab.ox.ac.uk/oucl/work/yevgeny.kazakov/publications/

  Details about Combining Resolution Decision Procedures | BibTeX data for Combining Resolution Decision Procedures

• [6]

  A Query Language for Web Ontologies

  Birte Glimm

  2004.

  Bachelor Report‚ Hamburg University of Applied Sciences

  Details about A Query Language for Web Ontologies | BibTeX data for A Query Language for Web Ontologies | Download  (pdf) of A Query Language for Web Ontologies