Description logics (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic. Additionally, it has more efficient decision problems than first-order predicate logic.
Questions tagged [description-logic]
121 questions
-1
votes
1 answer
Applying Description Logic to a model
im kinda new to dl. I tried to adapt the knowledge from this post: How to express this individual in Description logic
AKSW kindly helped me out to describe axioms in dl. I applied the knowlede to my Model. I just wanted to double check, not making…
Richy
- 27
- 6