Results 1 - 10 of 1,469

Logical foundations of object-oriented and frame-based languages

by Michael Kifer, Georg Lausen, James Wu - 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

A LOGIC PROGRAMMING APPROACH TO FRAME-BASED LANGUAGE DESIGN

by Hsin-hsi Chen, I-peng Lin
"... In this paper, we will propose a logic programming approach to design a frame-based language. The relationship among frame, logic and Prolog is our basic design issue. Frame is considered as a collection of slot-relations, and frame reference/inference procedure can be specified in logic form. Prolo ..."
Abstract - Add to MetaCart
In this paper, we will propose a logic programming approach to design a frame-based language. The relationship among frame, logic and Prolog is our basic design issue. Frame is considered as a collection of slot-relations, and frame reference/inference procedure can be specified in logic form

S.: Translating Ontologies from Predicate-based to Frame-based Languages

by Jos De Bruijn, Stijn Heymans - Proc. of the 2nd Intl. Conf. on Rules and Rule Markup Languages for the Semantic Web , 2006
"... Many popular ontology languages are based on (subsets of) first-order predicate logic, where classes are modeled as unary predicates and properties as binary predicates, such as Description Logics. Specifically, the ontology language OWL DL is based on the Description Logic SHOIQ. F-Logic is a diffe ..."
Abstract - Cited by 5 (3 self) - Add to MetaCart
Many popular ontology languages are based on (subsets of) first-order predicate logic, where classes are modeled as unary predicates and properties as binary predicates, such as Description Logics. Specifically, the ontology language OWL DL is based on the Description Logic SHOIQ. F-Logic is a

Translating Ontologies from Predicate-based to Frame-based Languages

by unknown authors
"... Many popular ontology languages are based on (subsets of) first-order predicate logic, where classes are modeled as unary predicates and properties as binary predicates. Specifically, the ontology language OWL DL is based on the Description Logic SHOIQ. F-Logic is an ontology language which is also ..."
Abstract - Add to MetaCart
Many popular ontology languages are based on (subsets of) first-order predicate logic, where classes are modeled as unary predicates and properties as binary predicates. Specifically, the ontology language OWL DL is based on the Description Logic SHOIQ. F-Logic is an ontology language which is also

From Knowledge Represented in Frame-based Languages to Declarative Representation & Reasoning via ASP

by Chitta Baral, Shanshan Liang
"... In this paper we encode some of the reasoning methods used in frame based knowledge representation languages in answer set programming (ASP). In particular, we show how “cloning ” and “unification ” in frame based systems can be encoded in ASP. We then show how some of the types of queries with resp ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
In this paper we encode some of the reasoning methods used in frame based knowledge representation languages in answer set programming (ASP). In particular, we show how “cloning ” and “unification ” in frame based systems can be encoded in ASP. We then show how some of the types of queries

Probabilistic Frame-Based Systems

by Daphne Koller, Avi Pfeffer - In Proc. AAAI , 1998
"... Two of the most important threads of work in knowledge representation today are frame-based representation systems (FRS's) and Bayesian networks (BNs). FRS's provide an excellent representation for the organizational structure of large complex domains, but their applicability is limited be ..."
Abstract - Cited by 212 (16 self) - Add to MetaCart
Two of the most important threads of work in knowledge representation today are frame-based representation systems (FRS's) and Bayesian networks (BNs). FRS's provide an excellent representation for the organizational structure of large complex domains, but their applicability is limited

The Tractability of Subsumption in Frame-Based Description Languages

by Ronald J. Brachman, Hector J. Levesque , 1983
"... A knowledge representation system provides an important ser-vice to the rest of a knowledge-based system: it computes au-tomatically a set of inferences over the beliefs encoded within it. Given that the knowledge-based system relies on these infer-ences in the midst of its operation (i.e., its diag ..."
Abstract - Cited by 205 (5 self) - Add to MetaCart
changes in the representation language. Even a seemingly simple frame-based description language can pose intractable computational obstacles. 1.

Proteus: A Frame-based Nonmonotonic Inference System

by David M. Russinoff , 1988
"... Introduction Early artificial intelligence systems relied on first-order predicate logic as a language for representing domain knowledge. While this scheme is completely general and semantically clear, it has been found to be inadequate for organizing large knowledge bases and encoding complex obje ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
objects. As an alternative, various frame-based languages have been employed. These languages are designed to support the natural representation of structured objects and taxonomies. They have proved to be well-suited for representing many useful relations, although they lack the general expressive power

From SHIQ and RDF to OWL: The Making of a Web Ontology Language

by Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 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

A translation approach to portable ontology specifications

by Thomas R. Gruber - KNOWLEDGE ACQUISITION , 1993
"... To support the sharing and reuse of formally represented knowledge among AI systems, it is useful to define the common vocabulary in which shared knowledge is represented. A specification of a representational vocabulary for a shared domain of discourse — definitions of classes, relations, functions ..."
Abstract - Cited by 3365 (9 self) - Add to MetaCart
, including frame-based systems as well as relational languages. This allows researchers to share and reuse ontologies, while retaining the computational benefits of specialized implementations. We discuss how the translation approach to portability addresses several technical problems. One problem is how
Results 1 - 10 of 1,469