skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Conjunctive query answering in the description logic SH using knots
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Conjunctive query answering in the description logic SH using knots

Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas

Journal of computer and system sciences, 2012, Vol.78 (1), p.47-85 [Rivista Peer Reviewed]

Fulltext disponibile

2
Extending ALCQIO with Trees
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Extending ALCQIO with Trees

Kotek, Tomer ; Imkus, Mantas ; Veith, Helmut ; Zuleger, Florian

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015-07, p.511-522

Fulltext disponibile

Ricerca in corso nelle risorse remote ...