Results 1 - 10
of
2,209
Logical foundations of object-oriented and frame-based languages
- JOURNAL OF THE ACM
, 1995
"... 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
-
Cited by 876 (65 self)
- Add to MetaCart
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
Evoluzioni di Ontologie in Frame Logic
"... 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 medi ..."
Abstract
- Add to MetaCart
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
Choices, values and frames.
- American Psychologist,
, 1984
"... Making decisions is like speaking prose-people do it all the time, knowingly or unknowingly. It is hardly surprising, then, that the topic of decision making is shared by many disciplines, from mathematics and statistics, through economics and political science, to sociology and psychology. The stu ..."
Abstract
-
Cited by 684 (9 self)
- Add to MetaCart
. 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
Workshop on Comparing Description and Frame Logics
"... 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 existi ..."
Abstract
-
Cited by 8 (3 self)
- Add to MetaCart
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...
Frame Logic under Answer Set Semantics
"... 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 fra ..."
Abstract
- Add to MetaCart
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
From SHIQ and RDF to OWL: The Making of a Web Ontology Language
- Journal of Web Semantics
, 2003
"... 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 W ..."
Abstract
-
Cited by 615 (39 self)
- Add to MetaCart
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
Applications Of Circumscription To Formalizing Common Sense Knowledge
- Artificial Intelligence
, 1986
"... We present a new and more symmetric version of the circumscription method of nonmonotonic reasoning first described in (McCarthy 1980) and some applications to formalizing common sense knowledge. The applications in this paper are mostly based on minimizing the abnormality of different aspects o ..."
Abstract
-
Cited by 532 (12 self)
- Add to MetaCart
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
View Interpolation for Image Synthesis
"... Image-space simplifications have been used to accelerate the calculation of computer graphic images since the dawn of visual simulation. Texture mapping has been used to provide a means by which images may themselves be used as display primitives. The work reported by this paper endeavors to carry t ..."
Abstract
-
Cited by 603 (0 self)
- Add to MetaCart
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
Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams
"... 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 tempo ..."
Abstract
- Add to MetaCart
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
Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams
- Electronic Notes in Theoretical Computer Science Volume 95, 17 May 2004 Edited by
, 2004
"... 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-oriented c ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
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
Results 1 - 10
of
2,209