Stable Model Semantics for Description Logic Terminologies.

Federica Di Stefano Mantas Simkus

Published in: AAAI (2024)

Keyphrases

stable model semantics
snomed ct
description logics
logic programs
answer set programming
stable models
concept descriptions
reasoning problems
knowledge base
logic programming
knowledge representation
rdf graphs
reasoning tasks
answer sets
semantic web
fixpoint
ontology languages
dl lite
databases