• Français
  • News
  • Jobs at LISTIC
  • Savoie Mont-Blanc University
  • YouTube
  • Linkedin
  • Jobs
  • Contact
  • Intranet
  • SOS
  • ?
listic
MENUMENU
  • Presentation
    • Organization
    • Members
      • Teacher-researchers
      • Post-docs and doctoral students
      • Associate researchers
      • Administrative and technical
      • Volunteer staff
      • Former members
      • Guests
  • Themes
    • Learning, Fusion and Remote Sensing
    • Data representation, management and processing for humans
  • Technologies
    • Software
      • Information Processing and Analysis Library
      • Onto-terminology editor
      • Efidir-tools
      • Displacement field explorer
      • Time series explorer
      • FlouLib
      • Models for ontologies
    • Data sets
    • Online demonstrations
    • Videos
      • Research work
      • Seminars
      • Green seminars
  • Projects
    • List of projects
      • International
      • National
      • Regional
      • In incubation
    • Partners
      • International
      • National
      • Regional
  • Production
    • Activity reports
    • Scientific publications
      • LISTIC collection on HAL
      • Publication indicators (Intranet)
    • Theses
      • HdR
      • PhD
    • BUSEFAL magazine
      • E-BUSEFAL
      • Links to fuzzy logic
  • Events
    • Conferences and workshops
    • Upcoming news
    • Past news
  1. Home
  2. Technologies
  3. Software
  4. Decidable models for ontology specification

Decidable models for ontology specification

  • Decidable model of Méréologie
  • Extension of Mereology to Tarski's decidable model of mereogeometry
  • Extension of Mereology to the decidable model of Topology
LISTIC is a laboratory of the Université Savoie Mont-Blanc and is attached to Polytech Annecy Chambéry.

Practical information

  • Accessibility
  • Terms and conditions of use
  • RGPD
  • Graphic charter
  • 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