Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gödel Semantics.

Linh Anh Nguyen Ngoc Thanh Nguyen

Published in: ICCCI (1) (2019)

Keyphrases

fuzzy description logics
logic programming
description logics
reasoning tasks
logic programs
fuzzy ontology
knowledge base
owl dl
machine learning
computational complexity
knowledge management
answer set programming
fixed point semantics