Finite Entailment of UCRPQs over ALC Ontologies.
Víctor Gutiérrez-BasultoAlbert GutowskiYazmín Ibáñez-GarcíaFilip MurlakPublished in: CoRR (2022)
Keyphrases
- description logics
- dl lite
- ontology languages
- knowledge base
- polynomial hierarchy
- rdf graphs
- semantic web
- logic programming
- databases
- domain ontology
- fuzzy description logics
- ontology mapping
- knowledge representation
- topic maps
- semantic technologies
- np complete
- ontology alignment
- upper bound
- ontology integration
- information integration
- semantic web technologies
- owl ontologies
- related concepts
- data complexity
- design patterns
- textual entailment
- recognizing textual entailment
- metadata