Stable Model Semantics for Description Logic Terminologies (Extended Abstract).
Federica Di StefanoMantas SimkusPublished in: Description Logics (2024)
Keyphrases
- extended abstract
- stable model semantics
- snomed ct
- description logics
- logic programs
- answer set programming
- stable models
- reasoning problems
- logic programming
- rdf graphs
- concept descriptions
- knowledge representation
- reasoning tasks
- answer sets
- semantic web
- knowledge base
- computational properties
- dl lite
- knowledge representation and reasoning
- fixpoint
- web resources
- database
- background knowledge
- natural language
- artificial intelligence