Olga Caprotti, Mike Dewar, Daniele Turi. Mathematical Service Matching Using Description Logic and OWL. In Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec, editors, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Volume 3119 of Lecture Notes in Computer Science, pages 73-87, Springer, 2004. [doi]
@inproceedings{CaprottiDT04,
title = {Mathematical Service Matching Using Description Logic and OWL},
author = {Olga Caprotti and Mike Dewar and Daniele Turi},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3119&spage=73},
tags = {logic, OWL},
researchr = {https://researchr.org/publication/CaprottiDT04},
cites = {0},
citedby = {0},
pages = {73-87},
booktitle = {Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
editor = {Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec},
volume = {3119},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23029-7},
}