A higher-order semantics for OWL 2 QL ontologies (Extended abstract).
Maurizio LenzeriniLorenzo LeporeAntonella PoggiPublished in: Description Logics (2015)
Keyphrases
- extended abstract
- higher order
- owl ontologies
- ontology languages
- owl dl
- formal semantics
- reasoning services
- semantic web
- web ontology language
- description logics
- rule language
- ontological reasoning
- semantic web technologies
- domain ontology
- knowledge representation
- ontological framework
- production rules
- knowledge base
- machine processable
- rdf schema
- high order
- data complexity
- ontology reasoning
- semantic description
- conceptual modeling
- pairwise
- open world
- current web
- conceptual graphs
- query language
- markov random field
- semantic annotation
- ontology mappings
- markup language
- ontology matching
- rdf graphs
- semantic relationships
- logic programming
- rdf data
- information integration
- semantic descriptions
- computational properties
- query answering
- web resources
- ontological concepts
- expressive power
- web ontologies
- reasoning problems
- domain specific