ObjectLogic

From ONTORULE Show Case

Jump to: navigation, search

ObjectLogic is a deductive, object oriented database language which combines the declarative semantics and expressiveness of deductive database languages with the rich data modelling capabilities supported by the object oriented data model. It is the successor of F-logic.

Classes and properties are represented as terms and interpreted as objects. This is one of the major differences to OWL where classes are represented as unary predicates and properties are represented as binary predicates.

  • Michael Kifer, Georg Lausen, and James Wu. Logical foundations of objectoriented and frame-based languages. J. ACM, 42(4):741–843, 1995.
  • Jürgen Angele, Michael Kifer, and Georg Lausen. Ontologies in f-logic. In Handbook on Ontologies. 2009.
Retrieved from "http://ontorule-project.eu/showcase/ObjectLogic"
Facts about ObjectLogicRDF feed
Creation dateThis property is a special property in this wiki. 15 September 2011 11:53:20  +
CreatorThis property is a special property in this wiki. Roman.korf  +
Format Description ObjectLogic is … ObjectLogic is a newly developed ontology language which is based on the development of F-logic (Kifer et al. 1995) and it's new development (Angele et al. 2008) F-logic forum. It is developed at Ontoprise GmbH.
  • Michael Kifer; Georg Lausen; and James Wu. Logical foundations of objectoriented and frame-based languages. J. ACM oriented and frame-based languages. J. ACM, and 42(4):741–843. 1995.
  • Jürgen Angele; Michael Kifer; and Georg Lausen. Ontologies in f-logic. In Handbook on Ontologies. 2009.
Format Homepage http://help.ontoprise.de  +
Format Name ObjectLogic  +
Last modified byThis property is a special property in this wiki. Roman.korf  +
sitemap