81:
Flora-2 is a successor to the Flora system (1998–1999) and incorporates the experience gained developing and using the original Flora system. The Flora-2 project started around year 2000 by
Guizhen Yang and Michael Kifer. In later years it was led by Michael Kifer and had many other contributors.
262:, Proceedings of the 33rd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ed). - Zagreb : University Computing Centre, University of Zagreb , 2011. 167-172 (
39:. Being based on F-logic and HiLog implies that object-oriented syntax and higher-order representation are the major features of the system. Flora-2 also supports a form of defeasible reasoning called
57:
Details of the system and its use are described in the Flora-2 User's Manual. Flora-2 is available for all major computing platforms, including
369:
242:
121:
project is developing an extension to the Perl XSB interface for supporting access to Flora-2 and HiLog from Perl and the FreeKBS3 system.
315:. Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.
24:
267:
330:. Int'l Conf. on Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science Volume 3662, 2005, pp 1-12.
450:
44:
47:
management, integration of information, security policy analysis, automated database normalization, and more.
414:
404:, Central European Conference on Information and Intelligent Systems (CECIIS-2010), University of Zagreb.
389:, Central European Conference on Information and Intelligent Systems (CECIIS-2009), University of Zagreb.
374:, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.
247:, Central European Conference on Information and Intelligent Systems (CECIIS-2008), University of Zagreb.
217:, Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science v. 3228, Springer Verlag.
54:
for its inference engine. The design and architecture of Flora-2 are described in a number of works.
340:
310:
295:
182:
139:
259:
Implementing a Logic System for
Testing Functional Independent Normal Form in Relational Databases
154:
91:
312:
FLORA-2: A Rule-Based
Knowledge Representation and Inference Infrastructure for the Semantic Web
227:
244:
Leadership in Team Based
Knowledge Management - An Autopoietic Information System's Perspective
399:
384:
280:
257:
43:(LPDA). Applications include intelligent agents, Semantic Web, knowledge-bases networking,
8:
345:. Journal on Data Semantics. Lecture Notes in Computer Science vol. 2800, Springer, 2003.
325:
416:
Reasonable Python or how to
Integrate F-Logic into an Object-Oriented Scripting Language
401:
Reasoning about Social
Semantic Web Applications using String Similarity and Frame Logic
263:
66:
36:
197:
111:
105:
101:
355:
212:
285:, Computational & Mathematical Organization Theory (1381-298X) 19, 4; 538-568
94:
is a social semantic Web application for supporting self-organizing communities.
444:
187:. 25th International Conference on Logic Programming (ICLP 2009), July 2009.
342:
Reasoning about
Anonymous Resources and Meta Statements on the Semantic Web
297:
Flora: Implementing an
Efficient DOOD System Using a Tabling Logic Engine
20:
229:
A knowledge-based approach to behavior decision in intelligent vehicles
97:
202:, The Knowledge Engineering Review 18:3, Cambridge University Press.
70:
419:, Intelligent Engineering Systems (INES-2007), IEEE, pp. 297-300.
28:
432:
199:
An ontology for context-aware pervasive computing environments
226:
A. D. Lattner , J. D. Gehrke , I. J. Timm , O. Herzog (2005)
172:, International Conference on Logic Programming (ICLP), 1993.
58:
32:
181:
H. Wan , B. Grosof , M. Kifer , P. Fodor , S. Liang (2009),
118:
62:
184:
Logic
Programming with Defaults and Argumentation Theories
41:
Logic
Programming with Defaults and Argumentation Theories
51:
141:
Foundations of Object-Oriented and Frame-Based Languages
156:
HiLog: A Foundation for Higher-Order Logic Programming
300:. Intl. Conference on Computational Logic, July 2000.
232:, Intelligent Vehicles Symposium, IEEE, pp. 466-471.
100:is a database development environment similar to
442:
282:Knowledge Management in Semantic Social Networks
256:T. Orehovacki, M. Schatten, A. Lovrencic (2011)
398:M. Schatten, V. Kakulapati, M. Cubrilo (2010)
27:. The language of the system is derived from
309:G. Yang, Michael Kifer, and C. Zhao (2003),
214:F-OWL: An Inference Engine for Semantic Web
354:M. Kifer, G. Yang, H. Wan, C. Zhao (2013),
162:
153:W. Chen, M. Kifer and D.S. Warren (1993),
114:is a module which adds F-Logic to Python.
85:
386:Dynamic Queries in Semantic Wiki Systems
196:H. Chen, T. Finin, and A. Joshi (2003).
147:
383:M. Schatten, M. Cubrilo, J.Seva (2009)
371:A Semantic Wiki System Based on F-Logic
368:M. Schatten, M. Cubrilo, J.Seva (2008)
443:
25:knowledge representation and reasoning
159:. Journal of Logic Programming, 1993.
241:M. Malekovic and M. Schatten (2008)
138:M. Kifer, G. Lausen, J. Wu (1995).
13:
211:Y. Zou, T. Finin, H. Chen (2005).
14:
462:
426:
327:Nonmonotonic reasoning in Flora-2
168:A.J. Bonner and M. Kifer (1993),
407:
392:
377:
362:
348:
333:
318:
303:
288:
273:
23:semantic rule-based system for
250:
235:
220:
205:
190:
175:
132:
1:
339:G. Yang and M. Kifer (2003),
294:G. Yang and M. Kifer (2000),
170:Transaction Logic Programming
125:
7:
451:Logic programming languages
144:, Journal of ACM, May 1995.
10:
467:
76:
86:Projects using Flora-2
50:Flora-2 relies on the
357:Flora-2 User's Manual
61:and other flavors of
413:M. Schatten (2007)
279:M. Schatten (2013)
324:M. Kifer (2005),
268:978-953-7138-20-2
67:Microsoft Windows
37:Transaction logic
458:
434:Flora-2 Web site
420:
411:
405:
396:
390:
381:
375:
366:
360:
352:
346:
337:
331:
322:
316:
307:
301:
292:
286:
277:
271:
254:
248:
239:
233:
224:
218:
209:
203:
194:
188:
179:
173:
166:
160:
151:
145:
136:
112:ReasonablePython
466:
465:
461:
460:
459:
457:
456:
455:
441:
440:
429:
424:
423:
412:
408:
397:
393:
382:
378:
367:
363:
353:
349:
338:
334:
323:
319:
308:
304:
293:
289:
278:
274:
255:
251:
240:
236:
225:
221:
210:
206:
195:
191:
180:
176:
167:
163:
152:
148:
137:
133:
128:
88:
79:
12:
11:
5:
464:
454:
453:
439:
438:
428:
427:External links
425:
422:
421:
406:
391:
376:
361:
347:
332:
317:
302:
287:
272:
249:
234:
219:
204:
189:
174:
161:
146:
130:
129:
127:
124:
123:
122:
115:
109:
95:
87:
84:
78:
75:
9:
6:
4:
3:
2:
463:
452:
449:
448:
446:
436:
435:
431:
430:
418:
417:
410:
403:
402:
395:
388:
387:
380:
373:
372:
365:
359:
358:
351:
344:
343:
336:
329:
328:
321:
314:
313:
306:
299:
298:
291:
284:
283:
276:
269:
265:
261:
260:
253:
246:
245:
238:
231:
230:
223:
216:
215:
208:
201:
200:
193:
186:
185:
178:
171:
165:
158:
157:
150:
143:
142:
135:
131:
120:
116:
113:
110:
107:
103:
99:
96:
93:
90:
89:
83:
74:
72:
68:
64:
60:
55:
53:
48:
46:
42:
38:
34:
30:
26:
22:
18:
433:
415:
409:
400:
394:
385:
379:
370:
364:
356:
350:
341:
335:
326:
320:
311:
305:
296:
290:
281:
275:
258:
252:
243:
237:
228:
222:
213:
207:
198:
192:
183:
177:
169:
164:
155:
149:
140:
134:
80:
56:
49:
40:
16:
15:
21:open source
126:References
52:XSB system
445:Category
71:Mac OS X
45:ontology
77:History
29:F-logic
17:Flora-2
266:
119:FRDCSA
102:Access
92:TaOPiS
69:, and
35:, and
19:is an
59:Linux
33:HiLog
264:ISBN
117:The
106:Base
104:and
98:Baze
63:Unix
447::
270:).
73:.
65:,
31:,
437:.
108:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.