Filters








1 Hit in 2.2 sec

A higher-order semantics for OWL 2 QL ontologies (Extended abstract)

Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
2015 International Workshop on Description Logics  
To Table 1 : 1 The ontology Higher-Order Semantics for OWL 2 QL. A vocabulary V for an ontology is constituted by a Table 2 : 2 Satisfaction of OWL 2 QL axioms  ...  of OWL 2 QL literals.  ... 
dblp:conf/dlog/LenzeriniLP15 fatcat:caaaf5ntkjcqdkeypivf33nx2q