Research

My main research interests are related to semantic web and knowledge representation formalisms, especially those which employ description logics, both in the theoretical and applied areas. I also have a keen interest in theoretical computer science, automated reasoning and artificial intelligence in general. In the past, I also had works related to computational intelligence and robotics. Lists of research projects and publications are given below.

Research Projects

Researcher. TROn – Tractable Reasoning with Ontologies. National Science Foundation. September 2010 – August 2013. PI: Pascal Hitzler.

Researcher. National Strategic Research Grant 2009. Quality Improvement for Education using Semantic Web-based Personalization Systems in the Student Centered E-Learning Environment. Funded by Directorate General of Higher Education, Republic of Indonesia. PI: Siti Aminah.

Researcher. National Strategic Research Grant 2009. Adaptive Recovery of Information and Communication Network in Disaster Area using Robotics Technologies. Funded by Directorate General of Higher Education, Republic of Indonesia. PI: Wisnu Jatmiko.

Committees and Reviewing Activities

PC Member. The 22nd International Joint Conference in Artificial Intelligence (IJCAI’11), July 2011, Barcelona, Spain.

Reviewer. The 24th International Workshop in Description Logic Workshop (DL2011), July 2011, Barcelona, Spain.

Reviewer. Journal of Web Semantics.

Theses

Adila Alfa Krisnadhi. Data Complexity of Instance Checking in the EL Family of Description Logics. Master’s thesis, Technische Universität Dresden, March 2007. Supervised by Dr. Carsten Lutz and overseen by Prof. Franz Baader. Available online at http://lat.inf.tu-dresden.de/research/mas/#Kri-Mas-2007

Adila Alfa Krisnadhi. On the Succinctness and Expressive Power of ALC TBoxes. Computational Logic Project. 2006. Unpublished. Supervised by Dr. Carsten Lutz.

Adila Alfa Krisnadhi. Penerapan Algoritma Genetika pada Penentuan Ciri Optimal untuk Representasi Eigenface dalam Sistem Pengenalan Wajah dengan Metode Nearest Feature Line. Bachelor thesis, Fakultas Ilmu Komputer, Universitas Indonesia, August 2002. Supervised by Prof. Benyamin Kusumoputro.

Journal, Conference, Workshop, Technical Report

David Carral Martinez, Adila Krisnadhi, Frederick Maier, Kunal Sengupta, and Pascal Hitzler. Reconciling OWL and Rules. Technical report available at http://knoesis.wright.edu/faculty/pascal/resources/publications/rec-owl-rules-2011-tr.pdf

Kunal Sengupta, Adila Krisnadhi, and Pascal Hitzler. Local Closed World Reasoning: Grounded Circumscription for OWL. In Proc. of the 10th International Semantic Web Conference (ISWC2011), October, 2011. To appear.

Adila Krisnadhi, Kunal Sengupta, and Pascal Hitzler. Local Closed World Semantics: Grounded Circumscription for Description Logics. In Proc. of the 5th International Conference on Web Reasoning and Rule Systems (RR2011), August, 2011. To appear.

David Carral Martinez, Adila Krisnadhi, Pascal Hitzler. Syntax Proposal for Nominal Schemas. Technical Report, Kno.e.sis Center, Wright State University, Dayton, Ohio, July 2011. Available at http://knoesis.wright.edu/faculty/pascal/resources/publications/NS-syntax-TR-2011.pdf

Adila Krisnadhi, Kunal Sengupta, and Pascal Hitzler. Local Closed World Semantics: Keep it simple, stupid! In Riccardo Rosati, Sebastian Rudolph, Michael Zakharzaschev (eds). Proc. of the 24th International Workshop in Description Logics (DL2011), Barcelona, Spain, July 2011. CEUR Wokrshop Proceedings, Vol. 745. Technical report available at http://knoesis.wright.edu/faculty/pascal/resources/publications/GC-DLs.pdf

Markus Krötzsch, Frederick Maier, Adila Krisnadhi, and Pascal Hitzler. Nominal Schemas for Integrating Rules and Description Logics. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharzaschev (eds). Proc. of the 24th International Workshop in Description Logics (DL2011), Barcelona, Spain, July 2011. CEUR Wokrshop Proceedings, Vol. 745.

Adila Krisnadhi, Frederick Maier, and Pascal Hitzler. OWL and Rules. In Reasoning Web 2011, Lecture Notes in Computer Science. Springer, 2011. To appear.

Markus Krötzsch, Frederick Maier, Adila Krisnadhi, and Pascal Hitzler. A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies. In S. Sadagopan, Krithi Ramamritham, Arun Kumar, M.P. Ravindra, Elisa Bertino, and Ravi Kumar, editors, Proc. of the 20th International World Wide Web Conference (WWW’11), pages 645-654, Hyderabad, India, March/April 2011. ACM, New York. Available online at http://www.www2011india.com/proceeding/proceedings/p645.pdf

Frederick Maier, Adila A. Krisnadhi, and Pascal Hitzler. Nominal Schemas for Integrating Rules and Ontologies . Technical report, Kno.e.sis Center, Wright State University, Dayton, Ohio, 2010. Available online at http://knoesis.wright.edu/faculty/pascal/resources/publications/ELP2.pdf

Fariz Darari, Adila Alfa Krisnadhi, and Ruli Manurung. OWLizr: Knowledge Representation System for Bahasa Indonesia Based on Web Ontology Language Description Logic (OWL DL). In Proc. of the International Conference on Advanced Computer Science and Information Systems (ICACSIS) 2010, pages 293-298, Bali, Indonesia, November 20-23, 2010.

Leonny Pramitasari, A. Nizar Hidayanto, Siti Aminah, Adila A. Krisnadhi, and Meirna A. Ramadhanie. Development of Student Model Ontology for Personalization in an E-Learning System based on Semantic Web. In Proc. of the International Conference on Advanced Computer Science and Information Systems (ICACSIS) 2009, pages 434–439, Universitas Indonesia, Depok, Indonesia, December 2009.

Meirna A. Ramadhanie, Siti Aminah, A. Nizar Hidayanto, and Adila A. Krisnadhi. Design and Implementation of Learning Object Ontology for E-Learning Personalization. In Proc. of the International Conference on Advanced Computer Science and Information Systems (ICACSIS) 2009, pages 427–433, Universitas Indonesia, Depok, Indonesia, December 2009.

Rizki Mardian, Wisnu Jatmiko, Adila A. Krisnadhi, and Nulad W. Pambudi. An Application of Distributed Multihop Robot-based Communication Network in Restricted and Static Environment after Disaster. In Proc. of the International Conference on Advanced Computer Science and Information Systems (ICACSIS) 2009, pages 384–389, Universitas Indonesia, Depok, Indonesia, December 2009.

Nulad W. Pambudi, Wisnu Jatmiko, Adila A. Krisnadhi, and Rizki Mardian. Gradual Pattern Formation of Homogeneous Robot Groups Using Simple Periodic Functions: Case Study Mindstorms NXT Lego Robots. In Proc. of the International Conference on Advanced Computer Science and Information Systems (ICACSIS) 2009, pages 378–383, Universitas Indonesia, Depok, Indonesia, December 2009.

Wisnu Jatmiko, Petrus Mursanto, Adila A. Krisnadhi, Abdul Arfan, Ferri Herriyandi, and Adhitya N. Raidy. Distributed Traffic Control with Swarm–Self Organizing Map in Jakarta. 2009. Unpublished.

Wisnu Jatmiko, Abdul Arfan, Adila A. Krisnadhi, Benyamin Kusumoputro, Isao Takagawa, Kosuke Sekiyama, and Toshio Fukuda. Traffic Signal Control Modification Based on Self-Organizing in Indonesia. In Proc. of Indonesia-Japan Joint Scientific Symposium 2008, Chiba, Japan, September 2008.

Adila Alfa Krisnadhi and Carsten Lutz. Data Complexity in the EL family of Description Logics. In Nachum Dershowitz and Andrei Voronkov, editors, Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2007), volume 4790 of Lecture Notes in Artificial Intelligence, pages 333–347.Springer-Verlag, 2007.

Adila Alfa Krisnadhi and Carsten Lutz. Data Complexity in the EL family of DLs. In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, SergioTessaris, and Anni Yasmin Turhan, editors, Proceedings of the 20th International Workshop on Description Logics 2007 (DL2007), CEUR-WS, pages 88–99. Bozen-Bolzano University Press, 2007. Available online at http://CEUR-WS.org/Vol-250/

Adila Alfa Krisnadhi. PCA Optimization in 3D Face Recognition Systems using Genetic Algorithms. Jurnal Ilmu Komputer dan Teknologi Informasi, 3 (2): 84–89, October 2003.

Benyamin Kusumoputro, Wisnu Jatmiko, and Adila Alfa Krisnadhi. Sistem Penciuman Elektronik Menggunakan Algoritma FLVQ dan Analisa Matriks Similaritas untuk Mengenal Aroma Campuran. In Prosiding Ilmu Komputer dan Teknologi Informasi, Seminar Nasional Kecerdasan Komputasional (SNKK) III, volume 3, pages 246–250, Universitas Tarumanagara, Jakarta, Indonesia, August 2002.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: