%0 Book Section %1 AngeleKiferLausen09p45 %A Angele, Jürgen %A Kifer, Michael %A Lausen, Georg %B Handbook on Ontologies %C Dordrecht %D 2009 %E Staab, Steffen %E Studer, Rudi %I Springer %K 01614 springer paper ai ontology logic knowledge processing %P 45--70 %R 10.1007/978-3-540-92673-3_2 %T Ontologies in F-Logic %X Frame Logic (F-logic) combines the advantages of conceptual modeling that come from object-oriented frame-based languages with the declarative style, compact and simple syntax, and the well defined semantics of logic-based languages. F-logic supports typing, meta-reasoning, complex objects, methods, classes, inheritance, rules, queries, modularization, and scoped inference. In this paper we describe the capabilities of knowledge representation systems based on F-logic and illustrate the use of this logic for ontology specification. We give an overview of the syntax and semantics of the language and discuss the main ideas behind the various implementations. Finally, we present a concrete application deployed in the automotive industry. %7 2

@incollection{AngeleKiferLausen09p45, abstract = {Frame Logic (F-logic) combines the advantages of conceptual modeling that come from object-oriented frame-based languages with the declarative style, compact and simple syntax, and the well defined semantics of logic-based languages. F-logic supports typing, meta-reasoning, complex objects, methods, classes, inheritance, rules, queries, modularization, and scoped inference. In this paper we describe the capabilities of knowledge representation systems based on F-logic and illustrate the use of this logic for ontology specification. We give an overview of the syntax and semantics of the language and discuss the main ideas behind the various implementations. Finally, we present a concrete application deployed in the automotive industry.}, added-at = {2016-09-09T19:47:27.000+0200}, address = {Dordrecht}, author = {Angele, J\"{u}rgen and Kifer, Michael and Lausen, Georg}, biburl = {https://www.bibsonomy.org/bibtex/26107085b7cb23a3de9938e9f35006021/flint63}, booktitle = {Handbook on Ontologies}, crossref = {StaabStuder2009}, doi = {10.1007/978-3-540-92673-3_2}, edition = 2, editor = {Staab, Steffen and Studer, Rudi}, file = {SpringerLink:2009/AngeleKiferLausen09p45.pdf:PDF}, groups = {public}, interhash = {265e10acc4faaf46e05a66cbdc647fda}, intrahash = {6107085b7cb23a3de9938e9f35006021}, keywords = {01614 springer paper ai ontology logic knowledge processing}, pages = {45--70}, publisher = {Springer}, timestamp = {2018-04-16T12:32:26.000+0200}, title = {Ontologies in {F-Logic}}, username = {flint63}, year = 2009 }