J. Euzenat. KR and OOL co-operation based on semantics non reducibility. In Proceedings of the 11th ECAI Workshop on Integrating Object-Orientation and Knowledge Representation, 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....[4] He shows the similarity between types and concepts but also points out the differences between description logics and statically typed programming languages, in general. Some of these differences do not apply to object oriented languages, e.g. the missing uniqueness of records. Euzenat [10] argues that a general unification of the two formalisms is infeasible, as a semantic reducibility from one formalism into the complementary one cannot be achieved. He also claims that it would be unlikely to spell out a denotational semantics for OOP languages for a real world application at the ....

J. Euzenat. KR and OOL co-operation based on semantics non reducibility. In Proceedings of the 11th ECAI Workshop on Integrating Object-Orientation and Knowledge Representation, 1994.

....[5] He shows the similarity between types and concepts but also points out the differences between description logics and statically typed programming languages, in general. Some of these differences do not apply to object oriented languages, e.g. the missing uniqueness of records. Euzenat [12] argues that a general unification of the two formalisms is infeasible, as a semantic reducibility from one formalism into the complementary one cannot be achieved. He also claims that it would be unlikely to spell out a denotational semantics for OOP languages for a real world application at the ....

Jerome Euzenat. KR and OOL co-operation based on semantics nonreducibility. In ECAI-94 Workshop on Integrating Object-Orientation and Knowledge Representation, 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC