%0 Journal Article %1 journals/ker/HarmelenF95 %A van Harmelen, Frank %A Fensel, Dieter %D 1995 %J Knowledge Eng. Review %K dblp %N 4 %P 345-360 %T Formal methods in knowledge engineering. %U http://dblp.uni-trier.de/db/journals/ker/ker10.html#HarmelenF95 %V 10

@article{journals/ker/HarmelenF95, added-at = {2018-11-14T00:00:00.000+0100}, author = {van Harmelen, Frank and Fensel, Dieter}, biburl = {https://www.bibsonomy.org/bibtex/2f1caf6247b962ba88c4fdefdcf91192c/dblp}, ee = {https://www.wikidata.org/entity/Q56840267}, interhash = {832fe0b317f6a53c644ddd5c183216ad}, intrahash = {f1caf6247b962ba88c4fdefdcf91192c}, journal = {Knowledge Eng. Review}, keywords = {dblp}, number = 4, pages = {345-360}, timestamp = {2018-11-15T15:38:28.000+0100}, title = {Formal methods in knowledge engineering.}, url = {http://dblp.uni-trier.de/db/journals/ker/ker10.html#HarmelenF95}, volume = 10, year = 1995 }