Knowledge Representation and Reasoning: Publications

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)

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)

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)

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)

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)

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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)

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)

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

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

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)

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

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

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

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.

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.

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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?

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

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

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

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)

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

Proceedings of the 22nd International Workshop on Description Logics

Details about Proceedings of the 22nd International Workshop on Description Logics | BibTeX data for Proceedings of the 22nd International Workshop on Description Logics | Link to Proceedings of the 22nd International Workshop on Description Logics

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

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

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!

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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?

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.

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

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

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

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

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

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

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

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

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.

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)

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)

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

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.

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

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

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

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

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

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

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

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.

Proceedings of the 2nd International Workshop on Modular Ontologies‚ WoMO 2007

Details about Proceedings of the 2nd International Workshop on Modular Ontologies‚ WoMO 2007 | BibTeX data for Proceedings of the 2nd International Workshop on Modular Ontologies‚ WoMO 2007

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

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

OWL Experiences And Directions Workshop Proceedings‚ 2006

Bernardo Cuenca Grau‚ Pascal Hitzler‚ Connor Shankey and Evan Wallace, editors

Details about OWL Experiences And Directions Workshop Proceedings‚ 2006 | BibTeX data for OWL Experiences And Directions Workshop Proceedings‚ 2006 | Link to OWL Experiences And Directions Workshop Proceedings‚ 2006

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.

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)

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

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

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

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.

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

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?

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.

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

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.

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.

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.

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

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

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

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

OWL Experiences And Directions Workshop Proceedings‚ 2005

Bernardo Cuenca Grau‚ Ian Horrocks‚ Bijan Parsia and Peter Patel−Schneider, editors

Details about OWL Experiences And Directions Workshop Proceedings‚ 2005 | BibTeX data for OWL Experiences And Directions Workshop Proceedings‚ 2005 | Link to OWL Experiences And Directions Workshop Proceedings‚ 2005

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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.

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.

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.

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

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.

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

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

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

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

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

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

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

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

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.

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

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