Basic Description Logics

Objective

To provide sufficient fundamentals on Description Logics, which underpins the formalization of knowledge graph nowadays. 

Information

• Date: April 5 (Wednesday), April 6 (Thursday)

• Time: 14:00 - 16:00 Japan time (Lecture: 90 mins, Q/A: 30 mins)

• Place: Seminar room on the 7th floor (I-75)

You can download my slide via this link. 

Additional References

• Basic Description Logics: https://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-02.pdf

• A Description Logic Primer: https://arxiv.org/abs/1201.4089

• DL EL: https://www.ijcai.org/Proceedings/05/Papers/0372.pdf 

• OWL 2: https://www.sciencedirect.com/science/article/pii/S1570826808000413

• OWLAPI: https://content.iospress.com/download/semantic-web/sw025?id=semantic-web%2Fsw025

• Model-driven Graphs using OWL: https://aws.amazon.com/blogs/database/model-driven-graphs-using-owl-in-amazon-neptune/

• AWS Neptune Documentation: https://docs.aws.amazon.com/neptune/latest/userguide/graph-get-started.html

Outline

• Day 1 (TBox and ABox): April 5

  • Clink this link to view our seminar's atmosphere (including the whiteboard)

• Day 2 (Reasoning Methods and Its Link to Knowledge Graph): April 6

  • Clink this link to view our seminar's atmosphere (including the whiteboard)