| 2008 |
|---|
| 58 | | Franz Baader,
Carsten Lutz,
Boris Motik:
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008
CEUR-WS.org 2008 |
| 57 | | Thanh Tran,
Peter Haase,
Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks:
Metalevel Information in Ontology-Based Applications.
AAAI 2008: 1237-1242 |
| 56 | EE | Rob Shearer,
Boris Motik,
Ian Horrocks:
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.
Description Logics 2008 |
| 55 | EE | Boris Motik,
Bernardo Cuenca Grau,
Ulrike Sattler:
The Representation of Structured Objects in DLs using Description Graphs.
Description Logics 2008 |
| 54 | EE | Boris Motik,
Ian Horrocks:
Individual Reuse in Description Logic Reasoning.
IJCAR 2008: 242-258 |
| 53 | EE | Boris Motik,
Ian Horrocks:
OWL Datatypes: Design and Implementation.
International Semantic Web Conference 2008: 307-322 |
| 52 | | Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks,
Ulrike Sattler:
Representing Structured Objects using Description Graphs.
KR 2008: 296-306 |
| 51 | EE | Rob Shearer,
Boris Motik,
Ian Horrocks:
HermiT: A Highly-Efficient OWL Reasoner.
OWLED 2008 |
| 50 | EE | Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks,
Ulrike Sattler:
Modeling Ontologies using OWL, Description Graphs, and Rules.
OWLED 2008 |
| 49 | EE | Boris Motik:
Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules.
RR 2008: 12 |
| 48 | EE | Héctor Pérez-Urbina,
Boris Motik,
Ian Horrocks:
Rewriting Conjunctive Queries over Description Logic Knowledge Bases.
SDKB 2008: 199-214 |
| 47 | EE | Boris Motik,
Bernardo Cuenca Grau,
Ulrike Sattler:
Structured objects in owl: representation and reasoning.
WWW 2008: 555-564 |
| 46 | EE | 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 23(3): 9-19 (2008) |
| 45 | EE | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
Deciding expressive description logics in the framework of resolution.
Inf. Comput. 206(5): 579-601 (2008) |
| 44 | EE | Yevgeny Kazakov,
Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ.
J. Autom. Reasoning 40(2-3): 89-116 (2008) |
| 43 | EE | Yevgeny Kazakov,
Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ.
J. Autom. Reasoning 40(4): 357 (2008) |
| 42 | EE | 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. 6(4): 309-322 (2008) |
| 2007 |
|---|
| 41 | | Diego Calvanese,
Enrico Franconi,
Volker Haarslev,
Domenico Lembo,
Boris Motik,
Anni-Yasmin Turhan,
Sergio Tessaris:
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007
CEUR-WS.org 2007 |
| 40 | EE | Boris Motik,
Rob Shearer,
Ian Horrocks:
Optimized Reasoning in Description Logics Using Hypertableaux.
CADE 2007: 67-83 |
| 39 | EE | Boris Motik,
Rob Shearer,
Ian Horrocks:
A Hypertableau Calculus for SHIQ.
Description Logics 2007 |
| 38 | EE | Boris Motik,
Riccardo Rosati:
A Faithful Integration of Description Logics with Logic Programming.
IJCAI 2007: 477-482 |
| 37 | EE | Christine Golbreich,
Matthew Horridge,
Ian Horrocks,
Boris Motik,
Rob Shearer:
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences.
ISWC/ASWC 2007: 169-182 |
| 36 | EE | Boris Motik,
Ian Horrocks,
Ulrike Sattler:
Adding Integrity Constraints to OWL.
OWLED 2007 |
| 35 | EE | Boris Motik,
Ian Horrocks,
Ulrike Sattler:
Bridging the gap between OWL and relational databases.
WWW 2007: 807-816 |
| 34 | EE | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
J. Autom. Reasoning 39(3): 351-384 (2007) |
| 33 | EE | Boris Motik:
On the Properties of Metamodeling in OWL.
J. Log. Comput. 17(4): 617-637 (2007) |
| 2006 |
|---|
| 32 | EE | Stephan Grimm,
Boris Motik,
Chris Preist:
Matching Semantic Service Descriptions with Local Closed-World Reasoning.
ESWC 2006: 575-589 |
| 31 | EE | Yevgeny Kazakov,
Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ.
IJCAR 2006: 662-677 |
| 30 | EE | Boris Motik,
Ian Horrocks,
Riccardo Rosati,
Ulrike Sattler:
Can OWL and Logic Programming Live Together Happily Ever After?
International Semantic Web Conference 2006: 501-514 |
| 29 | EE | Boris Motik,
Ulrike Sattler:
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.
LPAR 2006: 227-241 |
| 28 | EE | Boris Motik,
Ian Horrocks:
Problems with OWL Syntax.
OWLED 2006 |
| 2005 |
|---|
| 27 | EE | Ullrich Hustadt,
Boris Motik:
Description Logics and Disjunctive Datalog – The Story so Far.
Description Logics 2005 |
| 26 | EE | Peter Haase,
Boris Motik:
A mapping system for the integration of OWL-DL ontologies.
IHIS 2005: 9-16 |
| 25 | EE | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
Data Complexity of Reasoning in Very Expressive Description Logics.
IJCAI 2005: 466-471 |
| 24 | EE | Boris Motik:
On the Properties of Metamodeling in OWL.
International Semantic Web Conference 2005: 548-562 |
| 23 | EE | Stephan Grimm,
Boris Motik:
Closed World Reasoning in the Semantic Web through Epistemic Operators.
OWLED 2005 |
| 22 | EE | Pascal Hitzler,
Jürgen Angele,
Boris Motik,
Rudi Studer:
Bridging the Paradigm Gap with Rules for OWL.
Rule Languages for Interoperability 2005 |
| 21 | EE | Raphael Volz,
Steffen Staab,
Boris Motik:
Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases.
J. Data Semantics 2: 1-34 (2005) |
| 20 | EE | Boris Motik,
Ulrike Sattler,
Rudi Studer:
Query Answering for OWL-DL with rules.
J. Web Sem. 3(1): 41-60 (2005) |
| 2004 |
|---|
| 19 | | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution.
ECAI 2004: 353-357 |
| 18 | EE | Boris Motik,
Ulrike Sattler,
Rudi Studer:
Query Answering for OWL-DL with Rules.
International Semantic Web Conference 2004: 549-563 |
| 17 | | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.
KR 2004: 152-162 |
| 16 | EE | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.
LPAR 2004: 21-35 |
| 15 | | Daniel Oberle,
Raphael Volz,
Steffen Staab,
Boris Motik:
An Extensible Ontology Software Environment.
Handbook on Ontologies 2004: 299-320 |
| 2003 |
|---|
| 14 | EE | Raphael Volz,
Steffen Staab,
Boris Motik:
Incremental Maintenance of Materialized Ontologies.
CoopIS/DOA/ODBASE 2003: 707-724 |
| 13 | EE | Gábor Nagypál,
Boris Motik:
A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies.
CoopIS/DOA/ODBASE 2003: 906-923 |
| 12 | EE | Boris Motik,
Raphael Volz:
Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases.
KRDB 2003 |
| 11 | EE | Raphael Volz,
Steffen Staab,
Boris Motik:
Incremental Maintenance of dynamic Datalog programs.
PSSS 2003 |
| 10 | EE | Alexander Maedche,
Boris Motik,
Ljiljana Stojanovic,
Rudi Studer,
Raphael Volz:
An infrastructure for searching, reusing and evolving distributed ontologies.
WWW 2003: 439-448 |
| 9 | EE | Raphael Volz,
Daniel Oberle,
Steffen Staab,
Boris Motik:
KAON SERVER - A Semantic Web Management System.
WWW (Alternate Paper Tracks) 2003 |
| 8 | | Alexander Maedche,
Boris Motik:
Repräsentations- und Anfragesprachen für Ontologien - eine Übersicht.
Datenbank-Spektrum 6: 43-53 (2003) |
| 7 | EE | Alexander Maedche,
Boris Motik,
Ljiljana Stojanovic,
Rudi Studer,
Raphael Volz:
Ontologies for Enterprise Knowledge Management.
IEEE Intelligent Systems 18(2): 26-33 (2003) |
| 6 | EE | Alexander Maedche,
Boris Motik,
Ljiljana Stojanovic:
Managing multiple and distributed ontologies on the Semantic Web.
VLDB J. 12(4): 286-302 (2003) |
| 2002 |
|---|
| 5 | EE | Boris Motik,
Alexander Maedche,
Raphael Volz:
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications.
CoopIS/DOA/ODBASE 2002: 1082-1099 |
| 4 | EE | 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: 304-313 |
| 3 | EE | Alexander Maedche,
Boris Motik,
Nuno Silva,
Raphael Volz:
MAFRA - A MApping FRAmework for Distributed Ontologies.
EKAW 2002: 235-250 |
| 2 | EE | Ljiljana Stojanovic,
Alexander Maedche,
Boris Motik,
Nenad Stojanovic:
User-Driven Ontology Evolution Management.
EKAW 2002: 285-300 |
| 1 | | Alexander Maedche,
Boris Motik,
Ljiljana Stojanovic,
Rudi Studer,
Raphael Volz:
Managing Multiple Ontologies and Ontology Evolution in Ontologging.
Intelligent Information Processing 2002: 51-63 |
