Using ontologies for defining tasks, problem-solving methods and their mappings [chapter]

D. Fensel, E. Motta, S. Decker, Z. Zdrahal
1997 Lecture Notes in Computer Science  
6 4. The infix-notation in is used to distinguish terms from parametric design (infix PD) and terms from propose & revise (infix P&R). Def 6.1 State P&R : Design model PD Def 6.2 Complete P&R : Complete design model PD Def 6.3 Set with a total order and equality P&R : SET OF parameter PD Def 6.4 < P&R : ⊂ PD , = P&R : = PD Def 6.5 Correct P&R = Valid design model PD Ax 6.1 Preference P&R (s P&R ,s´P &R ) ↔ cost(d PD ) < cost(d´P D ) ∧ s P&R = d PD ∧ s´P &R = d´P D Ax 6.2 Partial completeness
more » ... (d P&R ) = {p PD | (p PD ,v PD ) ∈ d PD } Ax 6.3 output P&R = goal PD Fig. 6. The PSM ontology of propose & revise for parametric design.
doi:10.1007/bfb0026781 fatcat:phdhvcdvarfzlmvb6muvv3jlze