POLITECNICO DI BARI - Catalogo dei prodotti della Ricerca

A Tableaux-based method for computing least common subsumers for expressive description logics / Donini, Francesco M.; Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio. - ELETTRONICO. - 477:(2009). (Intervento presentato al convegno 22nd International Workshop on Description Logics, DL 2009 tenutosi a Oxford, UK nel July 27-30, 2009).

A Tableaux-based method for computing least common subsumers for expressive description logics

Donini, Francesco M.;Colucci, Simona;Di Noia, Tommaso;Di Sciascio, Eugenio
2009-01-01
2009
22nd International Workshop on Description Logics, DL 2009
ceur-ws.org/Vol-477/paper_22.pdf
A Tableaux-based method for computing least common subsumers for expressive description logics / Donini, Francesco M.; Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio. - ELETTRONICO. - 477:(2009). (Intervento presentato al convegno 22nd International Workshop on Description Logics, DL 2009 tenutosi a Oxford, UK nel July 27-30, 2009).
4.1 Contributo in Atti di convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11589/115153
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 7
social impact