| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | Boris Motik |
Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. |
LPAR |
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 | Frantisek Simancik, Boris Motik, Markus Krötzsch |
Fixed Parameter Tractable Reasoning in DLs via Decomposition. |
Description Logics |
2011 |
DBLP 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 | Boris Motik, Riccardo Rosati |
Reconciling description logics and rules. |
J. ACM |
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 | Birte Glimm, Ian Horrocks, Boris Motik |
Optimized DL Reasoning via Core Blocking. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Boris Motik |
Pushing the Limits of Reasoning over Ontologies with Hidden Content. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik |
Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach. |
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 | Boris Motik |
Combining Description Logics, Description Graphs, and Rules. |
ICCS |
2010 |
DBLP DOI 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, Boris Motik, Yevgeny Kazakov |
Import-by-Query: Ontology Reasoning under Access Limitations. |
IJCAI |
2009 |
DBLP 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, Boris Motik |
Importing Ontologies with Hidden Content. |
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 | Rob Shearer, Ian Horrocks, Boris Motik |
Exploiting Partial Information in Taxonomy Construction. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik |
Combining Description Logics, Description Graphs, and Rules. |
FroCos |
2009 |
DBLP DOI 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 | Héctor Pérez-Urbina, Ian Horrocks, Boris Motik |
Practical Aspects of Query Rewriting for OWL 2. |
OWLED |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
Deciding expressive description logics in the framework of resolution. |
Inf. Comput. |
2008 |
DBLP DOI 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 | Yevgeny Kazakov, Boris Motik |
A Resolution-Based Decision Procedure for SHOIQ. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Boris Motik |
A Resolution-Based Decision Procedure for SHOIQ. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Resolution decision procedures, Description logics, Nominals |
| 1 | Boris Motik |
KAON2 - Scalable Reasoning over Ontologies with Large Data Sets. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | James A. Hendler, Philipp Cimiano, Dmitri A. Dolgov, Anat Levin, Peter Mika, Brian Milch, Louis-Philippe Morency, Boris Motik, Jennifer Neville, Erik B. Sudderth, Luis von Ahn |
AI's 10 to Watch. |
IEEE Intelligent Systems |
2008 |
DBLP DOI BibTeX RDF |
Darpa Urban Challenge, ontologies, machine learning, information retrieval, Semantic Web, computer vision, social networks, artificial intelligence, robots, natural language processing, NLP, intelligent systems, intelligent transportation systems, computational linguistics, human computation, computational photography, Captchas, statistical relational learning, statistical relational learning, multimodal perception |
| 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 | Franz Baader, Carsten Lutz, Boris Motik (eds.) |
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 |
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, Ulrike Sattler |
The Representation of Structured Objects in DLs using Description Graphs. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler |
Structured objects in owl: representation and reasoning. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
structured objects, description logics, owl |
| 1 | Boris Motik |
Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. |
RR |
2008 |
DBLP DOI 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 | 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 | Boris Motik |
On the Properties of Metamodeling in OWL. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
Reasoning in Description Logics by a Reduction to Disjunctive Datalog. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
Description logics, Data complexity, Disjunctive datalog |
| 1 | Boris Motik, Rob Shearer, Ian Horrocks |
Optimized Reasoning in Description Logics Using Hypertableaux. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Riccardo Rosati |
A Faithful Integration of Description Logics with Logic Programming. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris (eds.) |
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 |
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 | 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 | Boris Motik, Ian Horrocks, Ulrike Sattler |
Adding Integrity Constraints to OWL. |
OWLED |
2007 |
DBLP 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 | Boris Motik |
Reasoning in description logics using resolution and deductive databases. |
|
2006 |
RDF |
|
| 1 | Yevgeny Kazakov, Boris Motik |
A Resolution-Based Decision Procedure for SHOIQ. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Grimm, Boris Motik, Chris Preist |
Matching Semantic Service Descriptions with Local Closed-World Reasoning. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Ulrike Sattler |
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks |
Problems with OWL Syntax. |
OWLED |
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 | Boris Motik, Ulrike Sattler, Rudi Studer |
Query Answering for OWL-DL with rules. |
J. Web Sem. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael Volz, Steffen Staab, Boris Motik |
Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. |
J. Data Semantics |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer |
Bridging the Paradigm Gap with Rules for OWL. |
Rule Languages for Interoperability |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
Data Complexity of Reasoning in Very Expressive Description Logics. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Haase, Boris Motik |
A mapping system for the integration of OWL-DL ontologies. |
IHIS |
2005 |
DBLP DOI BibTeX RDF |
description logics, ontology mapping, ontology integration |
| 1 | Ullrich Hustadt, Boris Motik |
Description Logics and Disjunctive Datalog The Story so Far. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stephan Grimm, Boris Motik |
Closed World Reasoning in the Semantic Web through Epistemic Operators. |
OWLED |
2005 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik |
On the Properties of Metamodeling in OWL. |
International Semantic Web Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Oberle, Raphael Volz, Steffen Staab, Boris Motik |
An Extensible Ontology Software Environment. |
Handbook on Ontologies |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Ulrike Sattler, Rudi Studer |
Query Answering for OWL-DL with Rules. |
International Semantic Web Conference |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Maedche, Boris Motik |
Repräsentations- und Anfragesprachen für Ontologien - eine Übersicht. |
Datenbank-Spektrum |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alexander Maedche, Boris Motik, Ljiljana Stojanovic |
Managing multiple and distributed ontologies on the Semantic Web. |
VLDB J. |
2003 |
DBLP DOI BibTeX RDF |
Multiple and distributed ontologies, Ontology evolution |
| 1 | Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz |
Ontologies for Enterprise Knowledge Management. |
IEEE Intelligent Systems |
2003 |
DBLP DOI BibTeX RDF |
Semantic Web, knowledge management, ontology mapping, ontology evolution |
| 1 | Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz |
An infrastructure for searching, reusing and evolving distributed ontologies. |
WWW |
2003 |
DBLP DOI BibTeX RDF |
ontology registry, ontology evolution, ontology reuse |
| 1 | Raphael Volz, Daniel Oberle, Steffen Staab, Boris Motik |
KAON SERVER - A Semantic Web Management System. |
WWW (Alternate Paper Tracks) |
2003 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Raphael Volz |
Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. |
KRDB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Raphael Volz, Steffen Staab, Boris Motik |
Incremental Maintenance of dynamic Datalog programs. |
PSSS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Raphael Volz, Steffen Staab, Boris Motik |
Incremental Maintenance of Materialized Ontologies. |
CoopIS/DOA/ODBASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Nagypál, Boris Motik |
A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies. |
CoopIS/DOA/ODBASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz |
Managing Multiple Ontologies and Ontology Evolution in Ontologging. |
Intelligent Information Processing |
2002 |
DBLP BibTeX RDF |
|
| 1 | Erol Bozsak, Marc Ehrig, Siegfried Handschuh, Andreas Hotho, Alexander Maedche, Boris Motik, Daniel Oberle, Christoph Schmitz, Steffen Staab, Ljiljana Stojanovic, Nenad Stojanovic, Rudi Studer, Gerd Stumme, York Sure, Julien Tane, Raphael Volz, Valentin Zacharias |
KAON - Towards a Large Scale Semantic Web. |
EC-Web |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Alexander Maedche, Raphael Volz |
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications. |
CoopIS/DOA/ODBASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ljiljana Stojanovic, Alexander Maedche, Boris Motik, Nenad Stojanovic |
User-Driven Ontology Evolution Management. |
EKAW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Maedche, Boris Motik, Nuno Silva, Raphael Volz |
MAFRA - A MApping FRAmework for Distributed Ontologies. |
EKAW |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")