Anees Mehdi
Anees Mehdi
Bosch Research
Geverifieerd e-mailadres voor de.bosch.com
Titel
Geciteerd door
Geciteerd door
Jaar
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
182010
Epistemic querying of OWL knowledge bases
A Mehdi, S Rudolph, S Grimm
Extended Semantic Web Conference, 397-409, 2011
152011
Revisiting semantics for epistemic extensions of description logics
A Mehdi, S Rudolph
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
132011
Integrate Action Formalisms into Linear Temporal Description Logics
F Baader, H Liu, AU Mehdi, LF Automatentheorie
3
Towards Integrating Ontologies into Verification for Autonomous Driving
AP Kaleeswaran, A Nordmann, A ul Mehdi
22019
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
12017
Epistemic Reasoning in OWL 2 DL.
A ul Mehdi
Karlsruhe Institute of Technology, 2014
12014
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
Integrate Action Formalisms into Linear Temporal Description Logics
A ul Mehdi, F Baader, H Liu
Ontologies and Reasoning to Capture Product Complexity in Automation Industry
A ul Mehdi, J Foued, S Elmer, T Stauß, D Weidig, T Liebig, M Opitz
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–13