Follow
Anees Mehdi
Anees Mehdi
Bosch Research
Verified email at de.bosch.com
Title
Cited by
Cited by
Year
Orel: Database-driven reasoning for OWL 2 profiles
M Krötzsch, A ul Mehdi, S Rudolph
23rd International Workshop on Description Logics DL2010, 114, 2010
222010
Revisiting Semantics for Epistemic Extensions of Description Logics.
A Mehdi, S Rudolph
AAAI, 2011
152011
Epistemic querying of OWL knowledge bases
A Mehdi, S Rudolph, S Grimm
Extended Semantic Web Conference, 397-409, 2011
152011
Knowledge Graphs for Efficient Integration and Access of Manufacturing Data
I Grangel-González, F Lösch, A ul Mehdi
2020 25th IEEE International Conference on Emerging Technologies and Factory …, 2020
132020
Roadmap to skill based systems engineering
K Evers, JR Seyler, V Aravantinos, L Lucio, A Mehdi
2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019
82019
Ontologies and Reasoning to Capture Product Complexity in Automation Industry.
S Elmer, F Jrad, T Liebig, A ul Mehdi, M Opitz, T Stauß, D Weidig
International Semantic Web Conference (Posters, Demos & Industry Tracks), 2017
82017
Towards Semantic Integration of Bosch Manufacturing Data.
A Mehdi, E Kharlamov, D Stepanova, F Loesch, IG Gonzalez
ISWC Satellites, 303-304, 2019
52019
Towards Integrating Ontologies into Verification for Autonomous Driving.
AP Kaleeswaran, A Nordmann, A ul Mehdi
ISWC Satellites, 319-320, 2019
52019
Integrate Action Formalisms into Linear Temporal Description Logics
F Baader, H Liu, AU Mehdi, LF Automatentheorie
3
Epistemic Reasoning in OWL 2 DL.
A ul Mehdi
Karlsruhe Institute of Technology, 2014
2*2014
EQuIKa: Epistemic Querying in OWL 2 Ontologies
A Mehdi, S Rudolph, J Wissmann
Techreport, AIFB, Karlsruhe, 2013
12013
EQuIKa System: Supporting OWL applications with local closed world assumption
A Mehdi, J Wissmann
INFORMATIK 2013–Informatik angepasst an Mensch, Organisation und Umwelt, 2013
12013
On integrating description logics and rules under minimal hypotheses
A Mehdi, AM Pinto, S Rudolph
International Conference on Web Reasoning and Rule Systems, 242-245, 2012
2012
Practical Epistemic Entailment Checking in SROIQ
A Mehdi, S Rudolph
24th International Workshop on Description Logics, 323, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–14