![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Boris Motik
Person information
- affiliation: University of Oxford, UK
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c107]Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
Decidability of Graph Neural Networks via Logical Characterizations. ICALP 2024: 127:1-127:20 - [i23]Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
Decidability of Graph Neural Networks via Logical Characterizations. CoRR abs/2404.18151 (2024) - 2023
- [c106]David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev:
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. KR 2023: 658-667 - [i22]David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev:
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. CoRR abs/2305.18015 (2023) - 2022
- [j34]Pan Hu
, Boris Motik
, Ian Horrocks
:
Modular materialisation of Datalog programs. Artif. Intell. 308: 103726 (2022) - [j33]Mark Kaminski, Egor V. Kostylev
, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
The Complexity and Expressive Power of Limit Datalog. J. ACM 69(1): 6:1-6:83 (2022) - [j32]Michael Benedikt, Maxime Buron, Stefano Germano
, Kevin Kappelmann
, Boris Motik:
Rewriting the Infinite Chase. Proc. VLDB Endow. 15(11): 3045-3057 (2022) - [j31]Temitope Ajileye
, Boris Motik
:
Materialisation and data partitioning algorithms for distributed RDF systems. J. Web Semant. 73: 100711 (2022) - [c105]Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Datalog Rewriting for Guarded TGDs. Datalog 2022: 104-113 - [c104]Ian Horrocks, Jordi Olivares, Valerio Cocchi, Boris Motik, Dylan Roy:
The Dow Jones Knowledge Graph. ESWC 2022: 427-443 - [c103]David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik:
Explainable GNN-Based Models over Knowledge Graphs. ICLR 2022 - [c102]David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik:
Faithful Approaches to Rule Learning. KR 2022 - [i21]Michael Benedikt, Maxime Buron, Stefano Germano
, Kevin Kappelmann, Boris Motik:
Rewriting the Infinite Chase. CoRR abs/2212.08522 (2022) - 2021
- [j30]Akansha Bhardwaj
, Albert Blarer, Philippe Cudré-Mauroux
, Vincent Lenders
, Boris Motik
, Axel Tanner
, Alberto Tonon:
Event Detection on Microposts: A Comparison of Four Approaches. IEEE Trans. Knowl. Data Eng. 33(4): 1467-1478 (2021) - [c101]Temitope Ajileye
, Boris Motik
, Ian Horrocks
:
Streaming Partitioning of RDF Graphs for Datalog Reasoning. ESWC 2021: 3-22 - 2020
- [c100]Fredah Banda, Boris Motik:
Community-Based RDF Partitioning. SSWS@ISWC 2020: 33-48 - [c99]Jaehun Lee, Taeho Hwang, Jungho Park, Yunsu Lee, Boris Motik, Ian Horrocks:
A Context-Aware Recommendation System for Mobile Devices. ISWC (Demos/Industry) 2020: 380-382
2010 – 2019
- 2019
- [j29]Boris Motik
, Yavor Nenov, Robert Piro, Ian Horrocks:
Maintenance of datalog materialisations revisited. Artif. Intell. 269: 76-136 (2019) - [j28]Bernardo Cuenca Grau, Ian Horrocks, Mark Kaminski, Egor V. Kostylev
, Boris Motik:
Limit Datalog: A Declarative Query Language for Data Analysis. SIGMOD Rec. 48(4): 6-17 (2019) - [c98]Pan Hu
, Boris Motik, Ian Horrocks:
Modular Materialisation of Datalog Programs. AAAI 2019: 2859-2866 - [c97]Pan Hu
, Jacopo Urbani
, Boris Motik, Ian Horrocks:
Datalog Reasoning over Compressed RDF Knowledge Bases. CIKM 2019: 2065-2068 - [c96]Temitope Ajileye
, Boris Motik
, Ian Horrocks
:
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. ISWC (1) 2019: 21-37 - [i20]Temitope Ajileye, Boris Motik, Ian Horrocks:
Datalog Materialisation in Distributed RDF Stores with Dynamic Data Exchange. CoRR abs/1906.10261 (2019) - [i19]Pan Hu, Jacopo Urbani, Boris Motik, Ian Horrocks:
Datalog Reasoning over Compressed RDF Knowledge Bases. CoRR abs/1908.10177 (2019) - 2018
- [j27]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala
, Frantisek Simancik, Ian Horrocks:
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. J. Artif. Intell. Res. 63: 625-690 (2018) - [j26]Anthony Potter, Boris Motik
, Yavor Nenov, Ian Horrocks:
Dynamic Data Exchange in Distributed RDF Stores. IEEE Trans. Knowl. Data Eng. 30(12): 2312-2325 (2018) - [c95]Michael Benedikt, Boris Motik, Efthymia Tsamoura:
Goal-Driven Query Answering for Existential Rules With Equality. AAAI 2018: 1761-1770 - [c94]Pan Hu
, Boris Motik, Ian Horrocks:
Optimised Maintenance of Datalog Materialisations. AAAI 2018: 1871-1879 - [c93]Alessandro Ronca
, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
Stream Reasoning in Temporal Datalog. AAAI 2018: 1941-1948 - [c92]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev
, Boris Motik, Ian Horrocks:
Stratified Negation in Limit Datalog Programs. IJCAI 2018: 1875-1881 - [c91]Giorgio Stefanoni, Boris Motik, Egor V. Kostylev
:
Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. WWW 2018: 1043-1052 - [i18]Giorgio Stefanoni, Boris Motik, Egor V. Kostylev:
Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation. CoRR abs/1801.09619 (2018) - [i17]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Stratified Negation in Limit Datalog Programs. CoRR abs/1804.09473 (2018) - [i16]Pan Hu, Boris Motik, Ian Horrocks:
Modular Materialisation of Datalog Programs. CoRR abs/1811.02304 (2018) - 2017
- [c90]Alberto Tonon, Philippe Cudré-Mauroux
, Albert Blarer, Vincent Lenders
, Boris Motik:
ArmaTweet: Detecting Events by Semantic Tweet Analysis. ESWC (2) 2017: 138-153 - [c89]Nicholas P. Roth, Vasileios Trigonakis, Sungpack Hong, Hassan Chafi, Anthony Potter, Boris Motik, Ian Horrocks:
PGX.D/Async: A Scalable Distributed Graph Pattern Matching Engine. GRADES@SIGMOD/PODS 2017: 7:1-7:6 - [c88]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev
, Boris Motik, Ian Horrocks:
Foundations of Declarative Data Analysis Using Limit Datalog Programs. IJCAI 2017: 1123-1130 - [c87]Michael Benedikt, George Konstantinidis
, Giansalvatore Mecca, Boris Motik, Paolo Papotti
, Donatello Santoro, Efthymia Tsamoura:
Benchmarking the Chase. PODS 2017: 37-52 - [i15]Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks:
Foundations of Declarative Data Analysis Using Limit Datalog Programs. CoRR abs/1705.06927 (2017) - [i14]Pan Hu, Boris Motik, Ian Horrocks:
Optimised Maintenance of Datalog Materialisations. CoRR abs/1711.03987 (2017) - [i13]Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks:
Stream Reasoning in Temporal Datalog. CoRR abs/1711.04013 (2017) - [i12]Michael Benedikt, Boris Motik, Efthymia Tsamoura:
Goal-Driven Query Answering for Existential Rules with Equality. CoRR abs/1711.05227 (2017) - 2016
- [c86]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SRIQ. KR 2016: 187-196 - [c85]Robert Piro, Yavor Nenov, Boris Motik, Ian Horrocks
, Peter Hendler, Scott Kimberly, Michael Rossman:
Semantic Technologies for Data Analysis in Health Care. ISWC (2) 2016: 400-417 - [c84]Anthony Potter
, Boris Motik, Yavor Nenov, Ian Horrocks
:
Distributed RDF Query Answering with Dynamic Data Exchange. ISWC (1) 2016: 480-497 - [i11]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SRIQ. CoRR abs/1602.04498 (2016) - 2015
- [c83]Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks:
Handling Owl: sameAs via Rewriting. AAAI 2015: 231-237 - [c82]Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks:
Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm. AAAI 2015: 1560-1568 - [c81]Giorgio Stefanoni, Boris Motik:
Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles. AAAI 2015: 1611-1617 - [c80]Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, Ian Horrocks:
Extending Consequence-Based Reasoning to SHIQ. Description Logics 2015 - [c79]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. IJCAI 2015: 3127-3133 - [c78]Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks
, Zhe Wu, Jay Banerjee:
RDFox: A Highly-Scalable RDF Store. ISWC (2) 2015: 3-20 - [i10]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality. CoRR abs/1505.00212 (2015) - 2014
- [j25]Frantisek Simancik, Boris Motik
, Ian Horrocks
:
Consequence-based and fixed-parameter tractable reasoning in description logics. Artif. Intell. 209: 29-77 (2014) - [j24]Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
:
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. J. Artif. Intell. Res. 51: 645-705 (2014) - [j23]Birte Glimm, Ian Horrocks
, Boris Motik, Giorgos Stoilos, Zhe Wang
:
HermiT: An OWL 2 Reasoner. J. Autom. Reason. 53(3): 245-269 (2014) - [c77]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu:
Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. AAAI 2014: 129-137 - [c76]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu:
Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. Description Logics 2014: 311-323 - [c75]Anthony Potter, Boris Motik, Ian Horrocks:
Querying Distributed RDF Graphs: The Effects of Partitioning. SSWS@ISWC 2014: 29-44 - [i9]Boris Motik, Robert D. C. Shearer, Ian Horrocks:
Hypertableau Reasoning for Description Logics. CoRR abs/1401.3485 (2014) - [i8]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. CoRR abs/1401.4604 (2014) - [i7]Bernardo Cuenca Grau, Boris Motik:
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. CoRR abs/1401.5853 (2014) - [i6]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. CoRR abs/1406.4110 (2014) - [i5]Giorgio Stefanoni, Boris Motik:
Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles. CoRR abs/1411.2516 (2014) - [i4]Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks:
Handling owl: sameAs via Rewriting. CoRR abs/1411.3622 (2014) - 2013
- [j22]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res. 47: 741-808 (2013) - [c74]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Introducing Nominals to the Combined Query Answering Approaches for EL. AAAI 2013: 1177-1183 - [c73]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Introducing Nominals to the Combined Query Answering Approaches for EL. Description Logics 2013: 962-974 - [c72]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Computing Datalog Rewritings Beyond Horn Ontologies. IJCAI 2013: 832-838 - [c71]Pierre Chaussecourte, Birte Glimm, Ian Horrocks
, Boris Motik, Laurent Pierre:
The Energy Management Adviser at EDF. ISWC (2) 2013: 49-64 - [i3]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Introducing Nominals to the Combined Query Answering Approaches for EL. CoRR abs/1303.7430 (2013) - [i2]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks:
Computing Datalog Rewritings beyond Horn Ontologies. CoRR abs/1304.1402 (2013) - 2012
- [j21]Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
:
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. J. Artif. Intell. Res. 43: 419-476 (2012) - [j20]Bernardo Cuenca Grau, Boris Motik:
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. J. Artif. Intell. Res. 45: 197-255 (2012) - [j19]Boris Motik:
Representing and querying validity time in RDF and OWL: A logic-based approach. J. Web Semant. 12: 3-21 (2012) - [j18]Birte Glimm, Ian Horrocks
, Boris Motik, Robert D. C. Shearer, Giorgos Stoilos:
A novel approach to ontology classification. J. Web Semant. 14: 84-101 (2012) - [c70]Boris Motik:
Building an Efficient OWL 2 DL Reasoner. PAAR@IJCAR 2012: 2 - [c69]Despoina Magka, Boris Motik, Ian Horrocks:
Modelling Structured Domains Using Description Graphs and Logic Programming. Description Logics 2012 - [c68]Giorgio Stefanoni, Boris Motik, Ian Horrocks:
Small Datalog Query Rewritings for EL. Description Logics 2012 - [c67]Despoina Magka, Boris Motik, Ian Horrocks
:
Modelling Structured Domains Using Description Graphs and Logic Programming. ESWC 2012: 330-344 - [c66]Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Conditions and their Application to Query Answering in Description Logics. KR 2012 - [c65]Boris Motik:
Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. LPAR 2012: 13-14 - [c64]Ian Horrocks, Boris Motik, Zhe Wang:
The HermiT OWL Reasoner. ORE 2012 - [c63]Despoina Magka, Boris Motik, Ian Horrocks:
Classifying Chemicals Using Description Graphs and Logic Programming. OWLED 2012 - [c62]Boris Motik, Ian Horrocks
, Su Myeon Kim:
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform. WWW (Companion Volume) 2012: 63-72 - 2011
- [c61]Frantisek Simancik, Boris Motik, Markus Krötzsch:
Fixed Parameter Tractable Reasoning in DLs via Decomposition. Description Logics 2011 - [c60]Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks
:
Repairing Ontologies for Incomplete Reasoners. ISWC (1) 2011: 681-696 - [c59]Despoina Magka, Boris Motik, Ian Horrocks
:
Chemical knowledge representation with description graphs and logic programming. SWAT4LS 2011: 74-75 - 2010
- [j17]Boris Motik, Riccardo Rosati
:
Reconciling description logics and rules. J. ACM 57(5): 30:1-30:62 (2010) - [j16]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks
:
Tractable query answering and rewriting under description logic constraints. J. Appl. Log. 8(2): 186-209 (2010) - [c58]Birte Glimm, Ian Horrocks
, Boris Motik:
Optimized Description Logic Reasoning via Core Blocking. IJCAR 2010: 457-471 - [c57]Birte Glimm, Ian Horrocks, Boris Motik:
Optimized DL Reasoning via Core Blocking. Description Logics 2010 - [c56]Boris Motik:
Combining Description Logics, Description Graphs, and Rules. ICCS 2010: 10-12 - [c55]Bernardo Cuenca Grau, Boris Motik:
Pushing the Limits of Reasoning over Ontologies with Hidden Content. KR 2010 - [c54]Birte Glimm, Ian Horrocks
, Boris Motik, Giorgos Stoilos:
Optimising Ontology Classification. ISWC (1) 2010: 225-240 - [c53]Boris Motik:
Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach. ISWC (1) 2010: 550-565
2000 – 2009
- 2009
- [j15]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks
, Ulrike Sattler:
Representing ontologies using description logics, description graphs, and rules. Artif. Intell. 173(14): 1275-1309 (2009) - [j14]Boris Motik, Robert D. C. Shearer, Ian Horrocks
:
Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. 36: 165-228 (2009) - [j13]Boris Motik, Ian Horrocks
, Ulrike Sattler:
Bridging the gap between OWL and relational databases. J. Web Semant. 7(2): 74-89 (2009) - [c52]Bernardo Cuenca Grau, Boris Motik:
Importing Ontologies with Hidden Content. Description Logics 2009 - [c51]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks:
A Comparison of Query Rewriting Techniques for DL-lite. Description Logics 2009 - [c50]Robert D. C. Shearer, Ian Horrocks, Boris Motik:
Exploiting Partial Information in Taxonomy Construction. Description Logics 2009 - [c49]Boris Motik:
Combining Description Logics, Description Graphs, and Rules. FroCoS 2009: 43-67 - [c48]Bernardo Cuenca Grau, Boris Motik, Yevgeny Kazakov:
Import-by-Query: Ontology Reasoning under Access Limitations. IJCAI 2009: 727-732 - [c47]Héctor Pérez-Urbina, Ian Horrocks, Boris Motik:
Practical Aspects of Query Rewriting for OWL 2. OWLED 2009 - [c46]Héctor Pérez-Urbina, Ian Horrocks
, Boris Motik:
Efficient Query Answering for OWL 2. ISWC 2009: 489-504 - [p3]Boris Motik:
Resolution-Based Reasoning for Ontologies. Handbook on Ontologies 2009: 529-550 - [e3]Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler:
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477, CEUR-WS.org 2009 [contents] - 2008
- [j12]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 Intell. Syst. 23(3): 9-19 (2008) - [j11]Ullrich Hustadt
, Boris Motik, Ulrike Sattler:
Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (2008) - [j10]Yevgeny Kazakov, Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reason. 40(2-3): 89-116 (2008) - [j9]Yevgeny Kazakov, Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ. J. Autom. Reason. 40(4): 357 (2008) - [j8]Bernardo Cuenca Grau, Ian Horrocks
, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
:
OWL 2: The next step for OWL. J. Web Semant. 6(4): 309-322 (2008) - [c45]Thanh Tran, Peter Haase, Boris Motik, Bernardo Cuenca Grau, Ian Horrocks:
Metalevel Information in Ontology-Based Applications. AAAI 2008: 1237-1242 - [c44]Boris Motik, Ian Horrocks
:
Individual Reuse in Description Logic Reasoning. IJCAR 2008: 242-258 - [c43]Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler:
The Representation of Structured Objects in DLs using Description Graphs. Description Logics 2008 - [c42]Robert D. C. Shearer, Boris Motik, Ian Horrocks:
Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi. Description Logics 2008 - [c41]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Representing Structured Objects using Description Graphs. KR 2008: 296-306 - [c40]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008 - [c39]Robert D. C. Shearer, Boris Motik, Ian Horrocks:
HermiT: A Highly-Efficient OWL Reasoner. OWLED 2008 - [c38]Boris Motik:
Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. RR 2008: 12 - [c37]Héctor Pérez-Urbina, Boris Motik, Ian Horrocks:
Rewriting Conjunctive Queries over Description Logic Knowledge Bases. SDKB 2008: 199-214 - [c36]Boris Motik, Ian Horrocks:
OWL Datatypes: Design and Implementation. ISWC 2008: 307-322 - [c35]Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
:
Structured objects in owl: representation and reasoning. WWW 2008: 555-564 - [e2]Franz Baader, Carsten Lutz, Boris Motik:
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings 353, CEUR-WS.org 2008 [contents] - [i1]Boris Motik:
KAON2 - Scalable Reasoning over Ontologies with Large Data Sets. ERCIM News 2008(72) (2008) - 2007
- [j7]Ullrich Hustadt
, Boris Motik, Ulrike Sattler:
Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reason. 39(3): 351-384 (2007) - [j6]Boris Motik:
On the Properties of Metamodeling in OWL. J. Log. Comput. 17(4): 617-637 (2007) - [c34]Boris Motik, Robert D. C. Shearer, Ian Horrocks:
Optimized Reasoning in Description Logics Using Hypertableaux. CADE 2007: 67-83 - [c33]Boris Motik, Robert D. C. Shearer, Ian Horrocks:
A Hypertableau Calculus for SHIQ. Description Logics 2007 - [c32]Boris Motik, Riccardo Rosati:
A Faithful Integration of Description Logics with Logic Programming. IJCAI 2007: 477-482 - [c31]Boris Motik, Ian Horrocks, Ulrike Sattler:
Adding Integrity Constraints to OWL. OWLED 2007 - [c30]Christine Golbreich, Matthew Horridge, Ian Horrocks
, Boris Motik, Robert D. C. Shearer:
OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences. ISWC/ASWC 2007: 169-182 - [c29]Boris Motik, Ian Horrocks
, Ulrike Sattler
:
Bridging the gap between OWL and relational databases. WWW 2007: 807-816 - [e1]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 Workshop Proceedings 250, CEUR-WS.org 2007 [contents] - 2006
- [b1]Boris Motik:
Reasoning in description logics using resolution and deductive databases. Karlsruhe Institute of Technology, Germany, 2006, pp. 1-249 - [c28]Yevgeny Kazakov, Boris Motik:
A Resolution-Based Decision Procedure for SHOIQ. IJCAR 2006: 662-677 - [c27]Stephan Grimm, Boris Motik, Chris Preist:
Matching Semantic Service Descriptions with Local Closed-World Reasoning. ESWC 2006: 575-589 - [c26]Boris Motik, Ulrike Sattler:
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR 2006: 227-241 - [c25]Boris Motik, Ian Horrocks:
Problems with OWL Syntax. OWLED 2006 - [c24]Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler:
Can OWL and Logic Programming Live Together Happily Ever After? ISWC 2006: 501-514 - 2005
- [j5]Raphael Volz, Steffen Staab, Boris Motik:
Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases. J. Data Semant. 2: 1-34 (2005) - [j4]Boris Motik, Ulrike Sattler, Rudi Studer:
Query Answering for OWL-DL with rules. J. Web Semant. 3(1): 41-60 (2005) - [c23]Ullrich Hustadt, Boris Motik:
Description Logics and Disjunctive Datalog - The Story so Far. Description Logics 2005 - [c22]Peter Haase, Boris Motik:
A mapping system for the integration of OWL-DL ontologies. IHIS 2005: 9-16 - [c21]Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471 - [c20]Stephan Grimm, Boris Motik:
Closed World Reasoning in the Semantic Web through Epistemic Operators. OWLED 2005 - [c19]Boris Motik:
On the Properties of Metamodeling in OWL. ISWC 2005: 548-562 - [c18]Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer:
Bridging the Paradigm Gap with Rules for OWL. Rule Languages for Interoperability 2005 - [p2]Boris Motik, Alexander Maedche
, Raphael Volz:
Ontology Representation and Querying for Realizing Semantics-Driven Applications. Multimedia Content and the Semantic Web 2005: 45-73 - 2004
- [c17]Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI 2004: 353-357 - [c16]Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR 2004: 152-162 - [c15]Ullrich Hustadt
, Boris Motik, Ulrike Sattler:
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR 2004: 21-35 - [c14]Stephan Grimm, Boris Motik, Chris Preist:
Variance in e-Business Service Discovery. SWS@ISWC 2004 - [c13]Boris Motik, Ulrike Sattler, Rudi Studer:
Query Answering for OWL-DL with Rules. ISWC 2004: 549-563 - [p1]Daniel Oberle, Raphael Volz, Steffen Staab, Boris Motik:
An Extensible Ontology Software Environment. Handbook on Ontologies 2004: 299-320 - 2003
- [j3]Alexander Maedche, Boris Motik:
Repräsentations- und Anfragesprachen für Ontologien - eine Übersicht. Datenbank-Spektrum 6: 43-53 (2003) - [j2]Alexander Maedche
, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz:
Ontologies for Enterprise Knowledge Management. IEEE Intell. Syst. 18(2): 26-33 (2003) - [j1]Alexander Maedche
, Boris Motik, Ljiljana Stojanovic:
Managing multiple and distributed ontologies on the Semantic Web. VLDB J. 12(4): 286-302 (2003) - [c12]Raphael Volz, Steffen Staab, Boris Motik:
Incremental Maintenance of Materialized Ontologies. OTM 2003: 707-724 - [c11]Gábor Nagypál, Boris Motik:
A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies. OTM 2003: 906-923 - [c10]Boris Motik, Raphael Volz:
Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. KRDB 2003 - [c9]Raphael Volz, Steffen Staab, Boris Motik:
Incremental Maintenance of dynamic Datalog programs. PSSS 2003 - [c8]Alexander Maedche
, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz:
An infrastructure for searching, reusing and evolving distributed ontologies. WWW 2003: 439-448 - [c7]Raphael Volz, Daniel Oberle, Steffen Staab, Boris Motik:
KAON SERVER - A Semantic Web Management System. WWW (Alternate Paper Tracks) 2003 - 2002
- [c6]Boris Motik, Alexander Maedche, Raphael Volz:
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications. OTM 2002: 1082-1099 - [c5]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 - [c4]Alexander Maedche, Boris Motik, Nuno Silva, Raphael Volz:
MAFRA - A MApping FRAmework for Distributed Ontologies. EKAW 2002: 235-250 - [c3]Ljiljana Stojanovic, Alexander Maedche, Boris Motik, Nenad Stojanovic:
User-Driven Ontology Evolution Management. EKAW 2002: 285-300 - [c2]Ljiljana Stojanovic, Boris Motik:
Ontology Evolution within Ontology Editors. EON 2002: 53-62 - [c1]Alexander Maedche, Boris Motik, Ljiljana Stojanovic, Rudi Studer, Raphael Volz:
Managing Multiple Ontologies and Ontology Evolution in Ontologging. Intelligent Information Processing 2002: 51-63
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-03 20:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint