Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract).
Víctor Gutiérrez-BasultoAlbert GutowskiYazmín Ibáñez-GarcíaFilip MurlakPublished in: IJCAI (2023)
Keyphrases
- extended abstract
- description logics
- dl lite
- ontology languages
- semantic web
- knowledge base
- knowledge representation
- logic programming
- databases
- upper bound
- fuzzy description logics
- rdf graphs
- polynomial hierarchy
- semantic web technologies
- data complexity
- domain ontology
- information integration
- ontology alignment
- textual entailment
- semantic relationships
- semantic technologies
- semantic relations
- np complete
- finite number
- ontology mapping
- probabilistic logic
- ontology matching
- mutual understanding
- fuzzy ontology
- owl dl
- owl ontologies
- conceptual models
- topic maps
- artificial intelligence