Expressive Tractable Description Logics based on SROIQ Rules

Personal tools