Boris Motik
Boris Motik
Professor of Computer Science, Oxford University
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
OWL 2: The next step for OWL
BC Grau, I Horrocks, B Motik, B Parsia, P Patel-Schneider, U Sattler
Journal of Web Semantics 6 (4), 309-322, 2008
10102008
OWL 2 web ontology language: Structural specification and functional-style syntax
B Motik, PF Patel-Schneider, B Parsia, C Bock, A Fokoue, P Haase, ...
W3C recommendation 27 (65), 159, 2009
9512009
OWL 2 Web Ontology Language: Profiles. W3C Recommendation (27 October 2009)
B Motik, B Cuenca Grau, I Horrocks, Z Wu, A Fokoue, C Lutz, P Hitzler, ...
724*2009
Mafra—a mapping framework for distributed ontologies
A Maedche, B Motik, N Silva, R Volz
International Conference on Knowledge Engineering and Knowledge Management …, 2002
6022002
Query answering for OWL-DL with rules
B Motik, U Sattler, R Studer
Journal of Web Semantics 3 (1), 41-60, 2005
5872005
HermiT: A Highly-Efficient OWL Reasoner.
R Shearer, B Motik, I Horrocks
Owled 432, 91, 2008
5582008
User-driven ontology evolution management
L Stojanovic, A Maedche, B Motik, N Stojanovic
International Conference on Knowledge Engineering and Knowledge Management …, 2002
5092002
Hypertableau reasoning for description logics
B Motik, R Shearer, I Horrocks
Journal of Artificial Intelligence Research 36, 165-228, 2009
5022009
Ontologies for enterprise knowledge management
A Maedche, B Motik, L Stojanovic, R Studer, R Volz
IEEE Intelligent Systems 18 (2), 26-33, 2003
4432003
HermiT: an OWL 2 reasoner
B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang
Journal of Automated Reasoning 53 (3), 245-269, 2014
4332014
KAON—towards a large scale Semantic Web
E Bozsak, M Ehrig, S Handschuh, A Hotho, A Maedche, B Motik, D Oberle, ...
International Conference on Electronic Commerce and Web Technologies, 304-313, 2002
3792002
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.
U Hustadt, B Motik, U Sattler
KR 4, 152-162, 2004
3462004
Bridging the gap between OWL and relational databases
B Motik, I Horrocks, U Sattler
Journal of Web Semantics 7 (2), 74-89, 2009
3232009
Query answering for OWL-DL with rules
B Motik, U Sattler, R Studer
International Semantic Web Conference, 549-563, 2004
2862004
Reconciling description logics and rules
B Motik, R Rosati
Journal of the ACM (JACM) 57 (5), 1-62, 2008
2742008
Data complexity of reasoning in very expressive description logics
U Hustadt, B Motik, U Sattler
IJCAI 5, 466-471, 2005
2582005
Reasoning in description logics using resolution and deductive databases
B Motik
Karlsruhe Institute of Technology, Germany, 2006
2542006
A comparison of reasoning techniques for querying large description logic ABoxes
B Motik, U Sattler
International Conference on Logic for Programming Artificial Intelligence …, 2006
2402006
Managing multiple and distributed ontologies on the Semantic Web
A Maedche, B Motik, L Stojanovic
The VLDB Journal 12 (4), 286-302, 2003
2342003
Reasoning in description logics by a reduction to disjunctive datalog
U Hustadt, B Motik, U Sattler
Journal of automated reasoning 39 (3), 351-384, 2007
1882007
The system can't perform the operation now. Try again later.
Articles 1–20