liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Terminological Logic Involving Time and Evolution: A Preliminary Report
Linköping University, Department of Computer and Information Science, Database and information techniques. Linköping University, The Institute of Technology. (IDA/ADIT)ORCID iD: 0000-0002-9084-0470
Linköping University, Department of Computer and Information Science. Linköping University, Faculty of Science & Engineering.
1993 (English)In: Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings, Springer Berlin/Heidelberg, 1993, 162-171 p.Chapter in book (Refereed)
Abstract [en]

Although terminological logics as well as temporal reasoning has received considerable attention in the knowledge representation community in the last two years, few attempts have been made to integrate these fields. We study the combination of the temporal logic LITE and a terminological logic to obtain a temporal terminological logic. We emphasize defining a terminological logic (T-LITE) where the extensions of concepts are time-dependent in the following sense: first, the individuals belonging to a concept are appearances of objects in a temporal context; secondly, we allow concepts to be defined in terms of developments of objects. A formal semantics for T-LITE is provided.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 1993. 162-171 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 689
National Category
Computer Science
URN: urn:nbn:se:liu:diva-119312DOI: 10.1007/3-540-56804-2_16ISBN: 978-3-540-56804-9ISBN: 978-3-540-47750-1OAI: diva2:820786
Available from: 2015-06-12 Created: 2015-06-12 Last updated: 2016-05-02

Open Access in DiVA

fulltext(278 kB)12 downloads
File information
File name FULLTEXT01.pdfFile size 278 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Lambrix, Patrick
By organisation
Database and information techniquesThe Institute of TechnologyDepartment of Computer and Information ScienceFaculty of Science & Engineering
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 12 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 25 hits
ReferencesLink to record
Permanent link

Direct link