Eviction and Reception for Description Logic Ontologies (Extended Abstract).
Ricardo GuimarãesAna OzakiJandson S. RibeiroPublished in: Description Logics (2023)
Keyphrases
- extended abstract
- description logics
- dl lite
- ontology languages
- reasoning services
- snomed ct
- semantic web
- knowledge base
- ontology reasoning
- formal ontologies
- owl dl
- dl programs
- owl ontologies
- knowledge representation
- semantic web ontologies
- semantic mapping
- concept descriptions
- biomedical ontologies
- ontology mappings
- reasoning mechanism
- web ontology language
- computational properties
- medical terminology
- reasoning tasks
- daml oil
- reasoning problems
- query answering
- description logic programs
- expert systems
- reasoning systems
- computing least common subsumers
- formal semantics
- ontology matching
- semantic description
- domain specific
- artificial intelligence
- machine learning