A Higher-Order Semantics for Metaquerying in OWL 2 QL.
Maurizio LenzeriniLorenzo LeporeAntonella PoggiPublished in: KR (2016)
Keyphrases
- higher order
- open world
- higher order logic
- owl ontologies
- owl dl
- formal semantics
- rule language
- ontology languages
- low order
- high order
- query language
- description logics
- semantic web
- database
- logic programming
- markov random field
- knowledge representation
- knowledge representation language
- semantic information
- pairwise
- reasoning services
- web ontology language
- knowledge base
- constraint language
- closed world
- incomplete information