SAT-Based PAC Learning of Description Logic Concepts.
Balder ten CateMaurice FunkJean Christoph JungCarsten LutzPublished in: IJCAI (2023)
Keyphrases
- description logics
- pac learning
- snomed ct
- target concept
- concept descriptions
- uniform distribution
- learning theory
- reasoning services
- sample complexity
- membership queries
- sample size
- concept classes
- knowledge base
- medical terminology
- knowledge representation
- learning problems
- version space
- dl lite
- semantic web
- answer set programming
- domain knowledge
- concept learning
- vc dimension
- data sets
- theoretical analysis
- sat solvers
- natural language
- training data
- learning algorithm