Finite Entailment of UCRPQs over ALC Ontologies.
Víctor Gutiérrez-BasultoAlbert GutowskiYazmín Ibáñez-GarcíaFilip MurlakPublished in: KR (2022)
Keyphrases
- description logics
- dl lite
- ontology languages
- semantic web
- domain ontology
- logic programming
- knowledge base
- polynomial hierarchy
- rdf graphs
- ontology mapping
- semantic web technologies
- knowledge representation
- ontological framework
- semantic technologies
- domain specific
- ontology alignment
- databases
- finite number
- probabilistic logic
- owl ontologies
- fuzzy description logics
- ontology merging
- design patterns
- metadata
- semantically rich
- upper bound
- np complete
- formal semantics
- information integration
- web resources
- semantic relations