Abstrakt. Ontologier och objektorienterade datamodeller skiljer sig inte mycket åt i sin deklarativa karakterisering av en domän. Skillnader i tillämpningen av dessa modeller har emellertid lett till helt olika egenskaper hos de programmeringsspråk som används för att skapa och manipulera dem - särskilt i närvaro eller brist på statisk typning. Vissa ontologi-beroende tillämpningar måste arbeta med modeller som är oförenliga med den underliggande ontologins deklarativa normer. Objektorienterade språk utesluter konstruktion av sådana modeller. En sekundär distinktion är att ontologier, åtminstone som de används i beskrivningslogiken, ger en semantik som kräver en implicit tolkning av extensiva data, där så är möjligt, som bibehåller överensstämmelse med de förklarande normerna, medan objektorienterade språk behandlar normerna som begränsningar som uttryckligen måste uppfyllas av en modell. En ontologi kompilator, som för närvarande riktar in sig på Microsoft.Net språk familj, producerar en traditionell objektorienterad klass bibliotek som fångar de förklarande normer för en ontologi. Det förstärker detta bibliotek med ytterligare metoder som tillåter konstruktion av modeller som är oförenliga med dessa normer. En ansökan, snarare än själva biblioteket, avgör när en operation ska ge upphov till undantag. Noteringar till en ontologi möjliggör kompromisser mellan flexibiliteten i det genererade biblioteket och dess prestanda.
I REF arbetade författaren med en ontologiorienterad programmering och föreslog en kompilator som producerar ett traditionellt objektorienterat klassbibliotek som fångar en ontologis deklarativa normer.
Ontology-Oriented Programming: Static Typing for the Inconsistent Programmer
{'venue': 'Programmer, Lecture Notes on Computer Science - The Semantic Web - ISWC 2003, Springer-Verlag Heidelberg, Volume 2870 / 2003 - Outubro', 'journal': None, 'mag_field_of_study': ['Computer Science']}