• Login
      • Login
    • Home
    • About
    • A Brief History of AI
    • AI-Alerts
    • AI Magazine
    • AAAI Conferences
    • JAIR
    • NeurIPS
    • Classics
    • Login
      • Home
      • About
      • A Brief History of AI
      • AI-Alerts
      • AI Magazine
      • AAAI Conferences
      • JAIR
      • NeurIPS
      • Classics
        • Login
          • Home
          • About
          • A Brief History of AI
          • AI-Alerts
          • AI Magazine
          • AAAI Conferences
          • JAIR
          • NeurIPS
          • Classics

            AITopics

            An official publication of the AAAI.

              powered by
              i2k Connect

                  • Login
                • AITopics

                  An official publication of the AAAI.

                      Filters

                        Current Filters

                      •  Description Logic

                          Date

                        • Earlier than May-26-2022 (178)
                          to
                          Go

                            Theme

                          • arXiv.org (54)
                            • Conferences (86)
                              • Journals (32)
                                • News (6)

                                    Author

                                  • Ahmetaj, Shqiponja (1)
                                    • Alrabbaa, Christian (1)
                                      • Amarilli, Antoine (1)
                                        • Areces, C. (1)
                                          • Arenas, Marcelo (2)
                                            • Artale, A. (1)
                                              • Artale, Alessandro (3)
                                                • Baader, F. (2)
                                                  • Baader, Franz (4)
                                                    • Baget, Jean-François (2)
                                                      • Bagheri Hariri, B. (1)
                                                        • Basulto, Víctor Gutiérrez (1)
                                                          • Bate, Andrew (2)
                                                            • Bednarczyk, Bartosz (3)
                                                              • Bellodi, Elena (2)
                                                                • Benbernou, Salima (1)
                                                                  • Benedikt, Michael (1)
                                                                    • Benferhat, Salem (1)
                                                                      • Bettini, Claudio (1)
                                                                        • Bienvenu, Meghyn (7)
                                                                          • Bobillo, Fernando (1)
                                                                            • Bonatti, P. A. (1)
                                                                              • Bonatti, Piero A. (2)
                                                                                • Borchmann, Daniel (1)
                                                                                  • Borgida, A. (3)
                                                                                    • Borgwardt, Stefan (6)
                                                                                      • Botoeva, Elena (3)
                                                                                        • Bou, Felix (2)
                                                                                          • Bouraoui, Zied (1)
                                                                                            • Bourgaux, Camille (4)
                                                                                              • Bourhis, Pierre (1)
                                                                                                • Brachman, Ronald J. (2)
                                                                                                  • Britz, Katarina (1)
                                                                                                    • Calvanese, D. (1)
                                                                                                      • Calvanese, Diego (12)
                                                                                                        • Cantone, Domenico (1)
                                                                                                          • Carbotta, Domenico (1)
                                                                                                            • Carsten, L. (1)
                                                                                                              • Casini, G. (1)
                                                                                                                • Casini, Giovanni (3)
                                                                                                                  • Cate, Balder ten (2)
                                                                                                                    • Cerami, Marco (3)
                                                                                                                      • Cetoli, Alberto (1)
                                                                                                                        • Ceylan, İsmail İlkan (1)
                                                                                                                          • Classen, Jens (1)
                                                                                                                            • Claßen, Jens (1)
                                                                                                                              • Colucci, Simona (1)
                                                                                                                                • Cota, Giuseppe (1)
                                                                                                                                  • Cozman, Fabio Gagliardi (1)
                                                                                                                                    • Cucala, David Tena (1)
                                                                                                                                      • Cuenca Grau, Bernardo (1)
                                                                                                                                        • Dalmau, Victor (1)
                                                                                                                                          • Dasgupta, Sourish (1)
                                                                                                                                            • De Giacomo, G. (2)
                                                                                                                                              • De Masellis, R. (1)
                                                                                                                                                • Di Noia, T. (2)
                                                                                                                                                  • Di Sciascio, E. (2)
                                                                                                                                                    • Donini, F. M. (2)
                                                                                                                                                      • Donini, Francesco Maria (1)
                                                                                                                                                        • Du, Jianfeng (1)
                                                                                                                                                          • Eiter, Thomas (2)
                                                                                                                                                            • Esteva, Francesc (1)
                                                                                                                                                              • Faella, Marco (2)
                                                                                                                                                                • Felli, P. (1)
                                                                                                                                                                  • Finger, Marcelo (1)
                                                                                                                                                                    • Franconi, E. (3)
                                                                                                                                                                      • Franconi, Enrico (2)
                                                                                                                                                                        • French, Tim (1)
                                                                                                                                                                          • Furbach, Ulrich (1)
                                                                                                                                                                            • Gan, Jianhou (1)
                                                                                                                                                                              • Gao, Wei (1)
                                                                                                                                                                                • Giacomo, Giuseppe De (5)
                                                                                                                                                                                  • Gianola, Alessandro (1)
                                                                                                                                                                                    • Gil, Oliver Fernández (1)
                                                                                                                                                                                      • Gil, Yolanda (2)
                                                                                                                                                                                        • Giordano, Laura (2)
                                                                                                                                                                                          • Glimm, B. (2)
                                                                                                                                                                                            • Glimm, Birte (2)
                                                                                                                                                                                              • Gliozzi, Valentina (2)
                                                                                                                                                                                                • Goasdoué, François (3)
                                                                                                                                                                                                  • Gogacz, Thomas (1)
                                                                                                                                                                                                    • Gogacz, Tomasz (1)
                                                                                                                                                                                                      • Gottlob, Georg (1)
                                                                                                                                                                                                        • Grau, Bernardo Cuenca (2)
                                                                                                                                                                                                          • Guirao, Juan L. G. (1)
                                                                                                                                                                                                            • Gutierrez-Basulto, Victor (1)
                                                                                                                                                                                                              • Gutiérrez-Basulto, Víctor (6)
                                                                                                                                                                                                                • Günther, Heiko (1)
                                                                                                                                                                                                                  • Hanika, Tom (1)
                                                                                                                                                                                                                    • Helaoui, Rim (1)
                                                                                                                                                                                                                      • Hernich, Andre (1)
                                                                                                                                                                                                                        • Hernich, André (1)
                                                                                                                                                                                                                          • Hitzler, Pascal (2)
                                                                                                                                                                                                                            • Homola, Martin (1)
                                                                                                                                                                                                                              • Horrocks, I. (5)
                                                                                                                                                                                                                                • Horrocks, Ian (6)
                                                                                                                                                                                                                                  • Ibáñez-García, Yazmin (1)
                                                                                                                                                                                                                                    • Ibáñez-García, Yazmín (4)
                                                                                                                                                                                                                                      • Jung, Jean Christoph (9)
                                                                                                                                                                                                                                        • Kabuka, Mansur (1)
                                                                                                                                                                                                                                          • Kaminski, Tobias (1)
                                                                                                                                                                                                                                            • KaPatel, Rupali (1)
                                                                                                                                                                                                                                              • Kazakov, Yevgeny (1)
                                                                                                                                                                                                                                                • Kerhet, V. (1)
                                                                                                                                                                                                                                                  • Kharlamov, Evgeny (1)
                                                                                                                                                                                                                                                    • Klarman, Szymon (1)
                                                                                                                                                                                                                                                      • Konev, Boris (2)
                                                                                                                                                                                                                                                        • Kontchakov, Roman (4)
                                                                                                                                                                                                                                                          • Koopmann, Patrick (2)
                                                                                                                                                                                                                                                            • Kovtunova, Alisa (1)
                                                                                                                                                                                                                                                              • Kroetzsch, M. (1)
                                                                                                                                                                                                                                                                • Kroetzsch, Markus (1)
                                                                                                                                                                                                                                                                  • Krötzsch, Markus (1)
                                                                                                                                                                                                                                                                    • Kubincová, Petra (1)
                                                                                                                                                                                                                                                                      • Kupke, Clemens (1)
                                                                                                                                                                                                                                                                        • Kusters, R. (2)
                                                                                                                                                                                                                                                                          • Kutsia, Temur (1)
                                                                                                                                                                                                                                                                            • Kľuka, Ján (1)
                                                                                                                                                                                                                                                                              • Lakemeyer, Gerhard (1)
                                                                                                                                                                                                                                                                                • Lamma, Evelina (2)
                                                                                                                                                                                                                                                                                  • Lembo, Domenico (1)
                                                                                                                                                                                                                                                                                    • Lenzerini, M. (1)
                                                                                                                                                                                                                                                                                      • Lenzerini, Maurizio (3)
                                                                                                                                                                                                                                                                                        • Liebenberg, Martin (1)
                                                                                                                                                                                                                                                                                          • Lieto, Antonio (1)
                                                                                                                                                                                                                                                                                            • Lukasiewicz, Thomas (1)
                                                                                                                                                                                                                                                                                              • Lutz, C. (4)
                                                                                                                                                                                                                                                                                                • Lutz, Carsten (15)
                                                                                                                                                                                                                                                                                                  • Mailis, Theofilos (1)
                                                                                                                                                                                                                                                                                                    • Martel, Mauricio (2)
                                                                                                                                                                                                                                                                                                      • Martinez, Monica (1)
                                                                                                                                                                                                                                                                                                        • Mazzullo, Andrea (1)
                                                                                                                                                                                                                                                                                                          • Mehdi, Anees (1)
                                                                                                                                                                                                                                                                                                            • Meyer, Thomas (1)
                                                                                                                                                                                                                                                                                                              • Mittelmann, Munyque (1)
                                                                                                                                                                                                                                                                                                                • Montali, M. (1)
                                                                                                                                                                                                                                                                                                                  • Montali, Marco (4)
                                                                                                                                                                                                                                                                                                                    • Moodley, Kody (1)
                                                                                                                                                                                                                                                                                                                      • Morawska, Barbara (1)
                                                                                                                                                                                                                                                                                                                        • Motik, B. (2)
                                                                                                                                                                                                                                                                                                                          • Motik, Boris (3)
                                                                                                                                                                                                                                                                                                                            • Mugnier, Marie-Laure (2)
                                                                                                                                                                                                                                                                                                                              • Murlak, Filip (2)
                                                                                                                                                                                                                                                                                                                                • Ngo, N. (1)
                                                                                                                                                                                                                                                                                                                                  • Ngo, Nhung (1)
                                                                                                                                                                                                                                                                                                                                    • Niepert, Mathias (2)
                                                                                                                                                                                                                                                                                                                                      • Noessner, Jan (1)
                                                                                                                                                                                                                                                                                                                                        • Noia, Tommaso Di (1)
                                                                                                                                                                                                                                                                                                                                          • Obermaier, Claudia (1)
                                                                                                                                                                                                                                                                                                                                            • Obiedkov, Sergei (1)
                                                                                                                                                                                                                                                                                                                                              • Olivetti, Nicola (2)
                                                                                                                                                                                                                                                                                                                                                • Ortiz, Magdalena (8)
                                                                                                                                                                                                                                                                                                                                                  • Ouziri, Mourad (1)
                                                                                                                                                                                                                                                                                                                                                    • Ouzirri, Mourad (1)
                                                                                                                                                                                                                                                                                                                                                      • Ozaki, Ana (4)
                                                                                                                                                                                                                                                                                                                                                        • Padia, Ankur (1)
                                                                                                                                                                                                                                                                                                                                                          • Pan, J. Z. (2)
                                                                                                                                                                                                                                                                                                                                                            • Pan, Jeff Z. (1)
                                                                                                                                                                                                                                                                                                                                                              • Patel-Schneider, P. F. (1)
                                                                                                                                                                                                                                                                                                                                                                • Patrizi, Fabio (1)
                                                                                                                                                                                                                                                                                                                                                                  • Pattinson, Dirk (1)
                                                                                                                                                                                                                                                                                                                                                                    • Perrussel, Laurent (1)
                                                                                                                                                                                                                                                                                                                                                                      • Peñaloza, Rafael (5)
                                                                                                                                                                                                                                                                                                                                                                        • Pfandler, Andreas (1)
                                                                                                                                                                                                                                                                                                                                                                          • Piro, Robert (1)
                                                                                                                                                                                                                                                                                                                                                                            • Pisasale, Antonio (1)
                                                                                                                                                                                                                                                                                                                                                                              • Polastro, Rodrigo Bellizia (1)
                                                                                                                                                                                                                                                                                                                                                                                • Pozzato, Gian Luca (2)
                                                                                                                                                                                                                                                                                                                                                                                  • Pozzato, GianLuca (1)
                                                                                                                                                                                                                                                                                                                                                                                    • Pulcini, Hadrien (1)
                                                                                                                                                                                                                                                                                                                                                                                      • Qi, Guilin (2)
                                                                                                                                                                                                                                                                                                                                                                                        • Redl, Christoph (1)
                                                                                                                                                                                                                                                                                                                                                                                          • Riboni, Daniele (1)
                                                                                                                                                                                                                                                                                                                                                                                            • Riguzzi, Fabrizio (2)
                                                                                                                                                                                                                                                                                                                                                                                              • Rocher, Swan (2)
                                                                                                                                                                                                                                                                                                                                                                                                • Roher, Edelweis (1)
                                                                                                                                                                                                                                                                                                                                                                                                  • Rosati, Riccardo (3)
                                                                                                                                                                                                                                                                                                                                                                                                    • Rudolph, S. (2)
                                                                                                                                                                                                                                                                                                                                                                                                      • Rudolph, Sebastian (6)
                                                                                                                                                                                                                                                                                                                                                                                                        • Ryzhikov, Vladislav (6)
                                                                                                                                                                                                                                                                                                                                                                                                          • Sallinger, Emanuel (1)
                                                                                                                                                                                                                                                                                                                                                                                                            • Santoso, Ario (2)
                                                                                                                                                                                                                                                                                                                                                                                                              • Sarker, Md Kamruzzaman (1)
                                                                                                                                                                                                                                                                                                                                                                                                                • Sattler, U. (2)
                                                                                                                                                                                                                                                                                                                                                                                                                  • Sattler, Uli (1)
                                                                                                                                                                                                                                                                                                                                                                                                                    • Sattler, Ulrike (1)
                                                                                                                                                                                                                                                                                                                                                                                                                      • Sauro, Luigi (2)
                                                                                                                                                                                                                                                                                                                                                                                                                        • Savo, Domenico Fabio (1)
                                                                                                                                                                                                                                                                                                                                                                                                                          • Schmolze, Jim (2)
                                                                                                                                                                                                                                                                                                                                                                                                                            • Schneider, Thomas (3)
                                                                                                                                                                                                                                                                                                                                                                                                                              • Schockaert, Steven (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                • Schröder, Lutz (4)
                                                                                                                                                                                                                                                                                                                                                                                                                                  • Sciascio, Eugenio Di (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                    • Sebastiani, R. (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                      • Sebastiani, Roberto (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                        • Sertkaya, Baris (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                          • Sertkaya, Barış (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                            • Severi, Paula (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                              • Seylan, I. (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                • Seylan, Inanc (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                  • Seylan, İnanç (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                    • Shah, Kushal (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                      • Shearer, R. (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                        • Shearer, Rob (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Sherkhonov, Evgeny (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Simancik, Frantisek (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                              • Simančík, František (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                • Simkus, Mantas (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • Smoker, Tom (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • Soutchanski, Mikhail (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • Stamou, G. (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • Stawowy, Michele (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Stefanoni, G. (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Stoilos, G. (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • Straccia, U. (3)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • Straccia, Umberto (4)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • Stuckenschmidt, Heiner (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • Sturm, H. (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • Tabia, Karim (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • Tahrat, Sabiha (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • ten Cate, B. (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Tena Cucala, David (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • Thompson, Henry S. (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • Toman, David (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • Topor, Rodney (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • Turhan, Anni-Yasmin (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • Tzouvaras, V. (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • Varzinczak, Ivan (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Vescovi, M. (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Vescovi, Michele (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • Visser, Ubbo (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • Vitucci, Nicola (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • Walther, Dirk (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • Wang, Kewen (3)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • Wang, Zhe (3)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • Weddell, Grant (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Weinzierl, Antonius (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Wen, Bin (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • Wolter, F. (3)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • Wolter, Frank (9)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • Xu, Jia (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • Zakharyaschev, Michael (4)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • Zarriess, Benjamin (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • Zarrieß, Benjamin (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Zese, Riccardo (3)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Zheleznyakov, Dmitriy (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • Zhuang, Zhiqiang (1)

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  Concept Tag

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • abox (18)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • abox assertion (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • agent (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • algorithm (48)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • application (26)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • approximation (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • artificial intelligence (178)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • assertion (36)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • atom (13)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • automaton (9)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • axiom (35)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • baader (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • belief revision (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • bool (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • calvanese (12)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • canonical model (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • characterization (8)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • complexity (47)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • concept description (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • concept inclusion (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • concept name (24)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • conflict (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • conjunction (8)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • conjunctive query (9)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • conservative extension (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • consistency (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • constraint (15)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • construction (20)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • constructor (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • conséquence (10)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • data complexity (10)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • database (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • denote (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • description logic (177)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • dl-lite (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • entailment (18)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • expert system (12)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • explanation (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • expression (11)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • extension (23)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • finite set (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • formula (21)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • fragment (12)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • fuzzy logic (8)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • health & medicine (19)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • homomorphism (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • horrock (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • inconsistency (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • ind (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • individual name (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • information (11)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • interpolant (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • interpretation (71)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • inverse role (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • knowledge (10)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • knowledge base (26)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • logic & formal reasoning (50)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • logic programming (50)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • lutz (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • machine learning (10)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • natural language (11)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • neural network (26)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • node (21)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • null (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • number restriction (10)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • ontology (47)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • operator (13)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • owl 2 (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • polynomial (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • polynomial time (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • predicate (12)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • probability (13)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • proc (24)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • procedure (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • proceedings (30)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • quantification (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • query (45)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • query answering (13)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • query entailment (8)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • question answering (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • rational closure (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • reasoner (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • reasoning (22)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • reduction (9)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • relation (14)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • representation (9)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • restriction (35)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • role name (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • satisfiability (14)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • semantic web (9)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • sig (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • signature (8)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • straccia (10)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • subset (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • subsumption (13)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • survey article (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • tbox (8)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • tboxe (9)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • translation (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • verification (7)

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Conference

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • 2010 AAAI Spring Symposium Series (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • Thirtieth AAAI Conference on Artificial Intelligence (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • Thirty-First AAAI Conference on Artificial Intelligence (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • Thirty-Second AAAI Conference on Artificial Intelligence (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • Twenty-Eighth AAAI Conference on Artificial Intelligence (4)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • Twenty-Fifth AAAI Conference on Artificial Intelligence (5)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Twenty-First International Joint Conference on Artificial Intelligence (6)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Twenty-Fourth AAAI Conference on Artificial Intelligence (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • Twenty-Fourth International Joint Conference on Artificial Intelligence (15)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • Twenty-Ninth AAAI Conference on Artificial Intelligence (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • Twenty-Second International FLAIRS Conference (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • Twenty-Second International Joint Conference on Artificial Intelligence (14)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • Twenty-Sixth AAAI Conference on Artificial Intelligence (1)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • Workshops at the Twenty-Sixth AAAI Conference on Artificial Intelligence (1)

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Journal

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • AI Magazine (3)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Journal of Artificial Intelligence Research (25)

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Publisher

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • AI Access Foundation (25)

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  Source

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                • #artificialintelligence (2)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  • AAAI Conferences (86)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    • AI Magazine (7)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      • AITopics Original Links (4)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        • arXiv.org Artificial Intelligence (54)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Journal of Artificial Intelligence Research (25)
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Back to Summary View

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Technology

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            • Information Technology > Artificial Intelligence > Representation & Reasoning > Description Logic

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Title Modified

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Site Feedback

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            © 2022, i2k Connect Inc  ·  All Rights Reserved.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Privacy policy  ·  Terms of use  ·  License  ·  Legal Notices
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            This is i2kweb version 5.3.0-SNAPSHOT. Logged in as aitopics-guest.


                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Logged in from United States
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Site Feedback

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            powered by
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            i2k Connect

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             Learn more » 

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Add feedback

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Send feedback to help us improve your experience.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Thank you!