| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ian Horrocks |
Semantics ⊓ scalability ⊨ ⊥?  |
Journal of Zhejiang University - Science C  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Krötzsch, Frantisek Simancik, Ian Horrocks |
A Description Logic Primer |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks |
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. |
J. Artif. Intell. Res. (JAIR) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Despoina Magka, Boris Motik, Ian Horrocks |
Modelling Structured Domains Using Description Graphs and Logic Programming. |
ESWC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks, Su Myeon Kim |
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. |
WWW (Companion Volume) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori |
Supporting concurrent ontology development: Framework, algorithms and tool. |
Data Knowl. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks, Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Vassilis Tzouvaras |
Reasoning with Very Expressive Fuzzy Description Logics |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler |
Conjunctive Query Answering for the Description Logic SHIQ |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Despoina Magka, Yevgeny Kazakov, Ian Horrocks |
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes. |
J. Autom. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks |
Consequence-Based Reasoning beyond Horn Ontologies. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ilianna Kollia, Birte Glimm, Ian Horrocks |
SPARQL Query Answering over OWL Ontologies. |
ESWC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilianna Kollia, Birte Glimm, Ian Horrocks |
Query Answering over SROIQ Knowledge Bases with SPARQL. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks |
Tool Support for Ontology Engineering. |
Foundations for the Web of Information and Services |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Despoina Magka, Boris Motik, Ian Horrocks |
Chemical knowledge representation with description graphs and logic programming. |
SWAT4LS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks |
Repairing Ontologies for Incomplete Reasoners. |
International Semantic Web Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Pérez-Urbina, Boris Motik, Ian Horrocks |
Tractable query answering and rewriting under description logic constraints. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Boris Motik |
Optimized Description Logic Reasoning via Core Blocking. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Despoina Magka, Yevgeny Kazakov, Ian Horrocks |
Tractable Extensions of the Description Logic EL with Numerical Datatypes. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Boris Motik |
Optimized DL Reasoning via Core Blocking. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Despoina Magka, Yevgeny Kazakov, Ian Horrocks |
Tractable Extensions of the Description Logic EL with Numerical Datatypes. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks |
Scalable ontology-based information systems. |
EDBT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks |
Ontology Languages and Engineering. |
KSEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitta Baral, Ian Horrocks, Yoav Shoham |
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang 0007, Jeff Z. Pan, Ian Horrocks, Birte Glimm (eds.) |
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II |
International Semantic Web Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks |
Completeness Guarantees for Incomplete Reasoners. |
International Semantic Web Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos |
Optimising Ontology Classification. |
International Semantic Web Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang 0007, Jeff Z. Pan, Ian Horrocks, Birte Glimm (eds.) |
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I |
International Semantic Web Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori |
Towards a UMLS-based silver standard for matching biomedical ontologies. |
OM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks |
How Incomplete Is Your Semantic Web Reasoner? |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks, Ulrike Sattler |
Bridging the gap between OWL and relational databases. |
J. Web Sem. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Rob Shearer, Ian Horrocks |
Hypertableau Reasoning for Description Logics. |
J. Artif. Intell. Res. (JAIR) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
Representing ontologies using description logics, description graphs, and rules. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
Extracting Modules from Ontologies: A Logic-Based Approach. |
Modular Ontologies |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori |
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Pérez-Urbina, Boris Motik, Ian Horrocks |
A Comparison of Query Rewriting Techniques for DL-lite. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler (eds.) |
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori |
Building Ontologies Collaboratively Using ContentCVS. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rob Shearer, Ian Horrocks, Boris Motik |
Exploiting Partial Information in Taxonomy Construction. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori |
ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. |
SWAT4LS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Ian Horrocks |
Towards a Logic-based Assessment of the compatibility of UMLS sources. |
SWAT4LS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Héctor Pérez-Urbina, Ian Horrocks, Boris Motik |
Efficient Query Answering for OWL 2. |
International Semantic Web Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Shearer, Ian Horrocks |
Exploiting Partial Information in Taxonomy Construction. |
International Semantic Web Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Pérez-Urbina, Ian Horrocks, Boris Motik |
Practical Aspects of Query Rewriting for OWL 2. |
OWLED |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori |
Logic-based Ontology Integration using ContentMap. |
JISBD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler |
OWL 2: The next step for OWL. |
J. Web Sem. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks |
Ontologies and the semantic web. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
Modular Reuse of Ontologies: Theory and Practice. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler |
Conjunctive Query Answering for the Description Logic SHIQ. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks, Sean Bechhofer |
Semantic Web. |
Web Accessibility |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Pérez-Urbina, Boris Motik, Ian Horrocks |
Rewriting Conjunctive Queries over Description Logic Knowledge Bases. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks |
Individual Reuse in Description Logic Reasoning. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks |
Privacy-Preserving Query Answering in Logic-based Information Systems. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Ulrike Sattler |
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rob Shearer, Boris Motik, Ian Horrocks |
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
Modeling Ontologies using OWL, Description Graphs, and Rules. |
OWLED |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rob Shearer, Boris Motik, Ian Horrocks |
HermiT: A Highly-Efficient OWL Reasoner. |
OWLED |
2008 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Ulrike Sattler |
Unions of Conjunctive Queries in SHOQ. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
Representing Structured Objects using Description Graphs. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks |
OWL Datatypes: Design and Implementation. |
International Semantic Web Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks |
Metalevel Information in Ontology-Based Applications. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jeff Z. Pan, Ian Horrocks |
RDFS(FA): Connecting RDF(S) and OWL DL. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
metamodeling architecture, ontology, knowledge representation, reuse, Semantic interoperability |
| 1 | Peter F. Patel-Schneider, Ian Horrocks |
A comparison of two modelling paradigms in the Semantic Web. |
J. Web Sem. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks, Birte Glimm, Ulrike Sattler |
Hybrid Logics and Ontology Languages. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks |
Logic for Ontology Engineering Corner. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider |
Optimizing Terminological Reasoning for Expressive Description Logics. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
Reasoning systems, Optimizations, Description logic |
| 1 | Ian Horrocks, Ulrike Sattler |
A Tableau Decision Procedure for SHOIQ. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
Description logic, Decision procedures |
| 1 | Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan, Vassilis Tzouvaras, Ian Horrocks |
Reasoning with Very Expressive Fuzzy Description Logics. |
J. Artif. Intell. Res. (JAIR) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Rob Shearer, Ian Horrocks |
Optimized Reasoning in Description Logics Using Hypertableaux. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
A Logical Framework for Modularity of Ontologies. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler |
Conjunctive Query Answering for the Description Logic SHIQ. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks |
Semantic web: the story so far. |
W4A |
2007 |
DBLP DOI BibTeX RDF |
DOWL |
| 1 | Birte Glimm, Ian Horrocks, Ulrike Sattler |
Conjunctive Query Entailment for SHOQ. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Rob Shearer, Ian Horrocks |
A Hypertableau Calculus for SHIQ. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
Ontology Reuse: Better Safe than Sorry. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
Just the right amount: extracting modules from ontologies. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, description logics, oWL |
| 1 | Boris Motik, Ian Horrocks, Ulrike Sattler |
Bridging the gap between OWL and relational databases. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
semantic web, relational databases, OWL |
| 1 | Christine Golbreich, Ian Horrocks |
The OBO to OWL Mapping, GO to OWL 1.1! |
OWLED |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
Extracting Modules from Ontologies: A Logic-based Approach. |
OWLED |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks, Ulrike Sattler |
Adding Integrity Constraints to OWL. |
OWLED |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks |
Semantic Web: The Story So Far. |
ICTAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Golbreich, Matthew Horridge, Ian Horrocks, Boris Motik, Rob Shearer |
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. |
ISWC/ASWC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Z. Pan, Ian Horrocks |
OWL-Eu: Adding customised datatypes into OWL. |
J. Web Sem. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Z. Pan, Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouvaras, Ian Horrocks |
f-SWRL: A Fuzzy Extension of SWRL. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Tsarkov, Ian Horrocks |
Description Logic Reasoner: System Description. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Gardiner, Ian Horrocks, Dmitry Tsarkov |
Automated Benchmarking of Description Logic Reasoners. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Ulrike Sattler |
Conjunctive Query Answering for Description Logics with Transitive Roles. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler |
Will my Ontologies Fit Together? |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jeff Z. Pan, Ian Horrocks |
OWL FA: a metamodeling extension of OWL D. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
ontology, metamodeling, reasoning |
| 1 | Peter F. Patel-Schneider, Ian Horrocks |
Position paper: a comparison of two modelling paradigms in the Semantic Web. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
modelling, Semantic Web, representation, philosophical foundations |
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider (eds.) |
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks |
Problems with OWL Syntax. |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler |
Next Steps for OWL. |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks, Andrei Voronkov |
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks, Oliver Kutz, Ulrike Sattler |
The Even More Irresistible SROIQ. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler |
Can OWL and Logic Programming Live Together Happily Ever After? |
International Semantic Web Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Gardiner, Dmitry Tsarkov, Ian Horrocks |
Framework for an Automated Comparison of Description Logic Reasoners. |
International Semantic Web Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens |
Deciding Semantic Matching of Stateless Services. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov |
OWL rules: A proposal and prototype implementation. |
J. Web Sem. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler |
Keys, Nominals, and Concrete Domains. |
J. Artif. Intell. Res. (JAIR) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks |
OWL Rules, OK? |
Rule Languages for Interoperability |
2005 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")