Sciweavers

4573 search results - page 58 / 915
» Automated Reasoning
Sort
View
DLOG
2006
15 years 4 months ago
The new ICOM Ontology Editor
Pablo R. Fillottrani, Enrico Franconi, Sergio Tess...
DLOG
2006
15 years 4 months ago
Pellet System Description
Evren Sirin, Bijan Parsia
DLOG
2001
15 years 4 months ago
Ontology of Integration and Integration of Ontologies
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
94
Voted
DLOG
2003
15 years 4 months ago
Basic Description Logics
Franz Baader, Werner Nutt