C4AI - Perspectives in AI Seminar: "A Description Logic Journey" - Dr. Franz Baader - 31/10/2023 16h (Brasil) Online
0 views
Skip to first unread message
C4AI USP
Oct 26, 2023, 10:07:53 PM10/26/23
to C4AI USP, c4ai-ne...@googlegroups.com
Colegas, pesquisadores(as) e alunos(as) da área de Inteligência Artificial e do C4AI:
> Favor distribuir este anúncio aos possíveis interessados.
C4AI OnLine Seminar announcement and infos below (Seminar and Infos below in English):
--
> Favor distribuir este anúncio aos possíveis interessados.
C4AI OnLine Seminar announcement and infos below (Seminar and Infos below in English):
O Centro de I.A. da USP (C4AI) está organizando mais um "C4AI Perspectives in AI Seminar".
O seminário é aberto/gratuito/online e será nesta próxima terça-feira 31/10/23 às 16h-17h30 BRT (Hora do Brazil - BRT).
Título: "A Description Logic Journey" (Seminar in English)
Abstract:
O seminário é aberto/gratuito/online e será nesta próxima terça-feira 31/10/23 às 16h-17h30 BRT (Hora do Brazil - BRT).
Apresentado pelo Prof. Dr. Franz Baader (Full Professor and Director of the Institute of Theoretical Computer Science at TU Dresden, Germany)
Título: "A Description Logic Journey" (Seminar in English)
Abstract:
Description Logics (DLs) are a well-investigated family of logic-based knowledge representation formalisms, which are frequently used to formalize ontologies in various application areas such as the Semantic Web, biology, medicine, mechanical engineering, chemical process engineering, civil engineering, and situation recognition. An important design goal when developing a DL is to find a good compromise between the expressiveness of the representation language and the complexity of reasoning (i.e., computing implicit consequences of the formal statements in the ontology). In the first wave of DL research, the trend was to go towards more expressive DLs by adding new concept constructors, which were motivated by specific applications, but turned out to be useful also in other domains.
Whereas reasoning in the obtained expressive DLs had a high worst-case complexity, highly optimized DL systems nevertheless behaved well in practice. With the adoption of the DL- based standard ontology language OWL, the number and the sizes of ontologies grew rapidly, which made efficient reasoning all the more important. This triggered a second wave of DL research, in which lightweight DLs with tractable reasoning problems (i.e., ones solvable in polynomial-time) were designed, such as the members of the EL family. Another trend was that ontology-based reasoning about data became more important, which led to the development of the DL-Lite family of DLs, which allowed reducing reasoning about data with respect to DL-Light ontologies to answering relational database queries. It then became apparent that the specialized algorithms developed for lightweight DLs, such as the consequence-based reasoning procedures for EL, could also be adapted to more expressive DLs. Although these algorithms are then no longer guaranteed to run in polynomial time, they show a “pay as you go” behavior, i.e., they can deal with the expressive language, but are the more efficient the less “costly” concept constructors are used in the ontology. Due to the research efforts of the last 30 years, the DL community can now offer a large portfolio of different representation languages and reasoning systems to ontology engineers and users of ontologies, from which they can choose the language and system that best fits the application at hand.
Whereas reasoning in the obtained expressive DLs had a high worst-case complexity, highly optimized DL systems nevertheless behaved well in practice. With the adoption of the DL- based standard ontology language OWL, the number and the sizes of ontologies grew rapidly, which made efficient reasoning all the more important. This triggered a second wave of DL research, in which lightweight DLs with tractable reasoning problems (i.e., ones solvable in polynomial-time) were designed, such as the members of the EL family. Another trend was that ontology-based reasoning about data became more important, which led to the development of the DL-Lite family of DLs, which allowed reducing reasoning about data with respect to DL-Light ontologies to answering relational database queries. It then became apparent that the specialized algorithms developed for lightweight DLs, such as the consequence-based reasoning procedures for EL, could also be adapted to more expressive DLs. Although these algorithms are then no longer guaranteed to run in polynomial time, they show a “pay as you go” behavior, i.e., they can deal with the expressive language, but are the more efficient the less “costly” concept constructors are used in the ontology. Due to the research efforts of the last 30 years, the DL community can now offer a large portfolio of different representation languages and reasoning systems to ontology engineers and users of ontologies, from which they can choose the language and system that best fits the application at hand.
Presented by Prof. Dr. Franz Baader - https://en.wikipedia.org/wiki/Franz_Baader
Adicione em sua agenda! (Add to google calendar):
O seminário será transmitido de forma ABERTA, LIVRE/GRATUITA e ONLINE pelo
youtube no Canal @C4AIUSP !
Transmissão remota e aberta pelo link do youtube:
youtube no Canal @C4AIUSP !
Transmissão remota e aberta pelo link do youtube:
Detalhes sobre o seminário na descrição da transmissão do Youtube ou no link abaixo:
#C4AI #Artificialintelligence #AIResearch #DescriptionLogics
================================================================
E-mail enviado para a lista de distribuição de anúncios do C4AI (Center for A.I. - USP/FAPESP/IBM) – c4ai.inova.usp.br
>> Send an e-mail to the address below to unsubscribe from this list [Unsubscribe]
Solicitações de exclusão deste grupo pode ser feita através do e-mail:
c4ai-uns...@usp.br
>> Contato com a Equipe de Comunicação e Difusão (Outreach) do C4AI:
c4ai-o...@usp.br
C4AI Subscribe: c4ai-su...@usp.br
C4AI Unsubscribe: c4ai-uns...@usp.br
E-mail enviado para a lista de distribuição de anúncios do C4AI (Center for A.I. - USP/FAPESP/IBM) – c4ai.inova.usp.br
>> Send an e-mail to the address below to unsubscribe from this list [Unsubscribe]
Solicitações de exclusão deste grupo pode ser feita através do e-mail:
c4ai-uns...@usp.br
>> Contato com a Equipe de Comunicação e Difusão (Outreach) do C4AI:
c4ai-o...@usp.br
C4AI Subscribe: c4ai-su...@usp.br
C4AI Unsubscribe: c4ai-uns...@usp.br
Reply all
Reply to author
Forward
0 new messages