Expressive Tractable Description Logics based on SROIQ Rules
From korrekt.org
Redirect page
Jump to:
navigation
,
search
Description Logic Rules
Views
Page
Download
View source
History
Personal tools
Log in
Navigation
Home
Publications
Notes
About me
Search
Toolbox
What links here
Related changes
Special pages
Printable version
Permanent link