Stage-oe-small.jpg

Anees ul Mehdi/Publikationen/en: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
(Auto create by AifbPortalExt)
 
Zeile 1: Zeile 1:
 
{{Vorlage:Wiki Seite Veröffentlichungen nach Author/en|
 
{{Vorlage:Wiki Seite Veröffentlichungen nach Author/en|
 
{{#rel2abs:../..}}}}
 
{{#rel2abs:../..}}}}
 +
 +
Franz Baader, Hongkai Liu, Anees ul Mehdi<br>
 +
'''[http://lat.inf.tu-dresden.de/research/papers/2010/BaLiMe-ECAI10.pdf Verifying Properties of Infinite Sequences of Description Logic Actions]''' <br>
 +
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10)
 +
(to appear).

Version vom 2. August 2010, 09:02 Uhr

=Publications by [[ Anees ul Mehdi]]=





inproceedings

Anees ul Mehdi, Jens Wissman
EQuIKa System: Supporting OWL applications with local closed world assumption
Informatik 2013, GI-Jahrestagung 2013, September, 2013
(Details)


Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logics and Rules under Minimal Hypotheses
Proceedings of the 6th International Conference on Web Reasoning and Rule Systems, RR2012, September, 2012
(Details)


Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Proceedings of the 25th Conference on Artificial Intelligence, AAAI 2011, August, 2011
(Details)


Anees ul Mehdi, Sebastian Rudolph
Practical Epistemic Entailment Checking in SROIQ
Proceedings of the 24th International Workshop on Description Logics (DL2011), CEUR Workshop Proceedings, Juli, 2011
(Details)


Anees ul Mehdi, Sebastian Rudolph, Stephan Grimm
Epistemic Queries for OWL Knowledge Bases
Proceedings of the 8th Extended Semantic Web Conference, ESWC 2011, Mai, 2011
(Details)


Baader Franz, Hongkai Liu, Anees ul Mehdi
Verifying Properties of Infinite Sequences of Description Logic Actions
Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010, August, 2010
(Details)


Markus Krötzsch, Anees ul Mehdi, Sebastian Rudolph
Orel: Database-Driven Reasoning for OWL 2 Profiles
Proceedings of the 23nd International Workshop on Description Logics (DL 2010), CEUR-WS.org, CEUR Workshop Proceedings, 573, Mai, 2010
(Details)


↑ top

phdthesis

Anees ul Mehdi
Epistemic Reasoning in OWL 2 DL
Rudi Studer, Sebastian Rudolph, 2014/02/13, KIT, Fakultät für Wirtschaftswissenschaften
(Details)


↑ top

techreport

Anees ul Mehdi, Sebastian Rudolph, Jens Wissman
EQuIKa: Epistemic Querying in OWL 2 Ontologies
AIFB, archiv number: 3038 Karlsruhe, Technical Report, April, 2013
(Details)


Anees ul Mehdi
Semantical Considerations on Description Logics of MKNF
Institut AIFB, archiv number: 3042 Karlsruhe, Technical Report, Dezember, 2013
(Details)


Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logic and Rules under MH Semantics
Institut AIFB, KIT, archiv number: 3028 Karlsruhe, Technical Report, Juli, 2012
(Details)


Anees ul Mehdi, Sebastian Rudolph, Jens Wissmann
EQuIKa: Epistemic Querying Answering in OWL2 Ontologies
Institut AIFB, KIT., archiv number: 3020 Karlsruhe, Technical Report, Dezember, 2011
(Details)


Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Institut AIFB, KIT, archiv number: 3015 Karlsruhe, August, 2011
(Details)


Anees ul Mehdi, Sebastian Rudolph, Stephen Grimm
Epistemic Queries for OWL
Institut AIFB, KIT, archiv number: 3009 Karlsruhe, Dezember, 2010
(Details)


↑ top


Franz Baader, Hongkai Liu, Anees ul Mehdi
Verifying Properties of Infinite Sequences of Description Logic Actions
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10) (to appear).