• FR
  • News
  • Jobs at LISTIC
  • Savoie Mont-Blanc University
  • YouTube
  • Linkedin
  • Jobs
  • Contact
  • Intranet
  • SOS
  • ?
listic
MENUMENU
  • Presentation
    • Organization
    • Members
      • Lecturers
      • Post-docs and PhD students
      • Associates lecturers
      • Administrative and technical staff
      • Staff volunteers
      • Former members
      • Guests
  • Theme
    • Learning, Fusion and Remote Sensing
    • Data Representation, Management and Processing for humans
  • Technology
    • Software
      • Information Processing and Analysis Library
      • Publisher of onto-terminologies
      • Efidir-tools
      • Displacement field explorer
      • Time Series Explorer
      • FlouLib
      • Models for ontologies
    • Data Sets
    • Online Demonstrations
    • Videos
      • Researches
      • Seminars
      • Summer retreats
  • Projects
    • List of projects
      • International
      • Nationals
      • Regional
      • Incubating
    • Partners
      • International
      • Nationals
      • Regional
  • Production
    • Activity reports
    • Scientific publications
      • LISTIC collection on HAL
      • Publication dashboard (Intranet)
    • Thesis
      • HdR
      • PhD
    • BUSEFAL Magazine
      • E-BUSEFAL
      • Fuzzy logic links
  • Events
    • Conferences and workshops
    • News to come
    • Past news
  1. Home
  2. Technology
  3. Software
  4. Decidable models for ontology specification

Decidable models for ontology specification

Decidable Model of Mereology
Decidable model of Tarski's mereogeometry
The LISTIC is a laboratory of the University of Savoie Mont-Blanc and is attached to Polytech Annecy Chambéry.

Practical information

  • Accessibility
  • Terms and conditions of use
  • GDPR
  • Graphic chart
  • Site Map

Shortcuts

  • Members
  • Scientific themes
  • Demonstrations
  • Jobs
  • Contact

Contact

+33 (0)4 50 09 65 80

LISTIC, Polytech Annecy-Chambéry, 5 chemin de bellevue, Annecy-le-vieux, 74 940 Annecy

Copyright © 2021 Listic - All rights reserved. Legal Notice and Credits