We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods

Abstract. In quest’articolo presentiamo una metodologia e un framework per le evoluzioni di ontologie definite in Frame Logic. Il sistema definito permette di valutare operazioni di modifica di un’ontologia al fine di garantire la consistenza dell’ontologia stessa. Il framework esegue controlli

. The study of decisions addresses both normative and descriptive questions. The normative analysis is concerned with the nature of rationality and the logic of decision making. The descriptive analysis, in contrast, is concerned with people's beliefs and preferences as they are, not as they should be

The specification of reusable terminological knowledge is one of the key issues in today's knowledge engineering. Providing formal languages with precise semantics and inference support can significantly support this activity. The aim of the workshop was to understand and to compare existing approaches developed in other research communities. We investigated research on description languages and research on object-oriented databases. Both provide the combination of rich terminological modelling primitives with well studied semantics and inference support. To better understand and compare them as well as to highlight common aspects and differences were the goals of the workshop. Knowledge-based systems (KBSs) consist of large amount of domain knowledge and problem-solving methods that describes the inference process of the system [SWA+94]. The domain knowledge defines concepts, properties, relationships, heuristic rules, instances etc. that are necessary to define the applicat...

Abstract. Frame logic is well known as a useful ontology modeling formalism, mainly appreciated for its object-oriented features and its nonmonotonic variant, capable to deal with typical nonmonotonic features such as object oriented inheritance. This paper presents a preliminary work defining a

The OWL Web Ontology Language is a new formal language for representing ontologies in the Semantic Web. OWL has features from several families of representation languages, including primarily Description Logics and frames. OWL also shares many characteristics with RDF, the W3C base of the Semantic

of various entities. Included are nonmonotonic treatments of is-a hierarchies, the unique names hypothesis, and the frame problem. The new circumscription may be called formula circumscription to distinguish it from the previously defined domain circumscription and predicate circumscription. A still more

this concept to its logical extreme by using interpolated images to portray three-dimensional scenes. The special-effects technique of morphing, which combines interpolation of texture maps and their shape, is applied to computing arbitrary intermediate frames from an array of prestored images. If the images

We propose Concurrent Transaction Frame Logic (CTFL) as a language to provide formal semantics to UML activity and class diagrams. CTFL extends rst-order Horn logic with object-oriented class hierarchy and object denition terms, and with three new logical connectives that declaratively capture

Abstract. We propose Concurrent Transaction Frame Logic (CTFL), an extension of first-order Horn logic that gives declarative semantics to object-oriented deductive databases, as a language to provide formal semantics to UML activity and class diagrams. CTFL extends Horn logic with object