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

Abstract not found

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

This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world

-proving or model-checking in these expressive specification logics. Hence, the implemented BDI systems have tended to use the three major attitudes as data structures, rather than as modal operators. In this paper, we provide an alternative formalization of BDI agents by providing an operational and proof

Abstract not found

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

Marketing inherited a model of exchange from economics, which had a dominant logic based on the exchange of “goods, ” which usually are manufactured output. The dominant logic focused on tangible resources, embedded value, and transactions. Over the past several decades, new perspectives have