SAT-Based PAC Learning of Description Logic Concepts.
Balder ten CateMaurice FunkJean Christoph JungCarsten LutzPublished in: CoRR (2023)
Keyphrases
- description logics
- pac learning
- snomed ct
- target concept
- concept descriptions
- uniform distribution
- learning theory
- learning problems
- reasoning services
- medical terminology
- sample size
- sample complexity
- knowledge base
- knowledge representation
- inductive learning
- membership queries
- dl lite
- answer set programming
- semantic web
- machine learning
- vc dimension
- concept classes
- boolean functions
- version space
- data sets
- concept drift
- positive and negative examples
- inductive logic programming
- data exchange
- training data