Knowledge Representation and Automated Formal Reasoning in Description Logic ALC.
Vasyl LenkoVolodymyr PasichnykNataliia KunanetsYuri ShcherbynaPublished in: MoMLeT+DS (2021)
Keyphrases
- knowledge representation
- description logics
- description logic alc
- formal representation
- knowledge base
- automated reasoning
- formal ontologies
- knowledge representation and reasoning
- representing knowledge
- knowledge processing
- knowledge representation systems
- knowledge representation formalisms
- knowledge acquisition
- knowledge engineering
- rule based reasoning
- formal models
- reasoning tasks
- knowledge representation languages
- artificial intelligence
- logic programming
- natural language
- probabilistic reasoning
- semi automated
- modal logic
- reasoning mechanisms
- natural language processing
- semantic web
- highly expressive
- knowledge based systems
- inference engine
- expert systems
- commonsense reasoning
- model theoretic
- knowledge structures
- reasoning systems
- natural language understanding
- meta level
- general knowledge
- semi automatic
- production rules
- bayesian networks
- machine learning
- ontology engineering
- first order logic
- case based reasoning