In powerloom i just find how to define concept, relation, function,etc.
but how can i define slots for concepts?
_________________________________________________________________
与联机的朋友进行交流，请使用 MSN Messenger: http://messenger.msn.com/cn
On May 31, 2004, at 6:54 PM, 石 崇德 wrote: > In powerloom i just find how to define concept, relation, > function,etc. but how can i define slots for concepts? > Concepts per se don't really have slots. PowerLoom is a logical definition language and not (directly) an object-oriented or frame language -- although we do provide some support for frame-like definitions. Instead, you apply the relations and functions to objects. It is possible to include various restrictions, mainly using what are called frame predicates which place restrictions on the number or type of fillers. In the most general case, you can also code whatever axioms or definitions you want using the logical definition language. What is an example of what you want to express?
On Jun 1, 2004, at 12:14 AM, 石 崇德 wrote: > Thanks for your answering. Maybe i can describe the problem like > this: i have a concept PERSON, and i want to attach some information > on it, like NAME, AGE, etc. I can use relation to express this, but > this always makes me confused. it's not easy to find which relation > attaches to which concept. The general idea is that many of such relations are not necessarily bound all that tightly to particular concepts. For example, NAME and AGE could apply just as reasonably to things like WINE or MOVIES or many other things. That means you either have to attach the relations so far up the hierarchy that it isn't really all that helpful to know the attachment, or else you end up having an ontology that isn't that easy to extend when you need to add the additional relations. The general principle of PowerLoom is that it should be easy to attach the information for those relations anyplace that it makes sense. The idea that relations or functions like NAME or AGE have an independent meaning is a bit different from frame or object representations. That is because PowerLoom is based on logic, and classical logic doesn't have slots. It has predicates and functions. Now we depart in some ways from a strict classical logic and introduce some additional distinctions (such as concepts), but the underlying idea behind PowerLoom is that it uses a logical formulation of the ontologies. In that spirit, the question of "which relation attaches to which concept" really becomes more one of the semantics of the relation. If(Continue reading)
Does there exist a Stella interface to Powerloom? We are using Stella for some behavior representation work and would like to use Powerloom within these behaviors. The final application is in C++, so we compile the behaviors into C++. I know we can probably use the Lisp interface, but we don't want to compile all of Powerloom into our behavior library. Thanks. -- -- Tom Stanzione 617-876-8085 x109 Consulting Software Engineer 617-388-0466 (cell) MAK Technologies, Inc. 10 Fawcett Street 617-876-9208 (FAX) Cambridge, MA 02138 http://www.mak.com/ tstanzione <at> mak.com
On Jun 23, 2004, at 1:52 PM, Tom Stanzione wrote: > Does there exist a Stella interface to Powerloom? We are using Stella > for some behavior representation work and would like to use Powerloom > within these behaviors. The final application is in C++, so we compile > the behaviors into C++. I know we can probably use the Lisp interface, > but we don't want to compile all of Powerloom into our behavior > library. Sure. PowerLoom is actually implemented directly in Stella and we normally write almost all of our PowerLoom code using Stella. The interface functions for PowerLoom are found in the PLI module. A few things that may be needed, especially Stella datatypes are in the LOGIC module. You should be able to code directly in Stella, and then as long as you link the C++ library for PowerLoom into the final application, you should be able to have exactly what you want.
RSS Feed1 | |
|---|---|
3 | |
4 | |
2 | |
2 | |
5 | |
3 | |
3 | |
2 | |
4 | |
1 | |
6 | |
2 | |
2 | |
4 | |
6 | |
3 | |
1 | |
2 | |
5 | |
12 | |
6 | |
1 | |
3 | |
4 | |
4 | |
7 | |
16 | |
10 | |
22 | |
26 | |
28 | |
2 | |
3 | |
4 | |
4 | |
11 | |
17 | |
13 | |
1 | |
20 | |
20 | |
4 | |
4 | |
11 | |
5 | |
1 | |
2 | |
27 | |
20 | |
9 | |
7 | |
2 | |
2 | |
12 | |
1 | |
1 | |
3 | |
6 | |
1 | |
17 | |
2 | |
5 | |
2 | |
8 | |
4 | |
10 | |
4 | |
13 |
