%0 Book %1 Pease11 %A Pease, Adam %C Angwin, CA %D 2011 %I Articulate Software Press %K 01614 103 book shelf ai ontology knowledge processing logic theory %T Ontology: A Practical Guide %X This book reports on a decade of work developing SUMO and its associated tools, models and domain ontologies. Written for a wide audience, it should be accessible to anyone with a general computer science background. It includes introductions to topics such as formal theorem proving and the properties of different formal knowledge representation languages. %@ 978-1-889455-10-5

@book{Pease11, abstract = {This book reports on a decade of work developing SUMO and its associated tools, models and domain ontologies. Written for a wide audience, it should be accessible to anyone with a general computer science background. It includes introductions to topics such as formal theorem proving and the properties of different formal knowledge representation languages.}, added-at = {2016-08-19T10:29:22.000+0200}, address = {Angwin, CA}, author = {Pease, Adam}, biburl = {https://www.bibsonomy.org/bibtex/220bfd19c9aa4b63a085997989b3ca89b/flint63}, file = {Related Web Site:http\://www.ontologyportal.org/Book.html:URL}, groups = {public}, interhash = {bca043ae8490b6e6755ecec1cce7d3c2}, intrahash = {20bfd19c9aa4b63a085997989b3ca89b}, isbn = {978-1-889455-10-5}, keywords = {01614 103 book shelf ai ontology knowledge processing logic theory}, publisher = {Articulate Software Press}, timestamp = {2018-04-16T11:39:26.000+0200}, title = {Ontology: A Practical Guide}, username = {flint63}, year = 2011 }