DatalogDL: Datalog Rules Parameterized by Description Logics - PowerPoint PPT Presentation

1 / 23
} ?>
View by Category
About This Presentation
Title:

DatalogDL: Datalog Rules Parameterized by Description Logics

Description:

DatalogDL: Datalog Rules Parameterized by Description Logics. Jing Mei, Harold ... Using an external DL reasoner (Racer) to check ALC to SHIQ satisfiability ... – PowerPoint PPT presentation

Number of Views:53
Avg rating:3.0/5.0
Slides: 24
Provided by: zhao5
Learn more at: http://www.cs.unb.ca
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com