Dispute Resolution with OWL DL and Reasoning.
Ildar BaimuratovElena LisanyukDmitry ProkudinPublished in: Description Logics (2023)
Keyphrases
- owl dl
- dispute resolution
- expressive description logics
- reasoning systems
- description logics
- reasoning problems
- semantic web
- online dispute resolution
- domain ontology
- ontology languages
- fuzzy description logics
- reasoning services
- web ontology language
- owl dl ontology
- automated reasoning
- formal semantics
- reasoning tasks
- knowledge base
- decision procedures
- fuzzy ontology
- computational properties
- conceptual modeling
- natural language processing
- keywords