eLite

1. Seminario. Smart Buildings: dal campo al modello, andata e ritorno
(News/Latest)

... DogOnt Motore di Stream Processing      ...

2. Presentation: Formal Verification of Device State Chart Models
(News/Latest)

... checking, for ensuring the consistency between statechart reprenting the behavior of single domotic devices with their respective DogOnt description and properties. See the paper on the PORTO open ...

3. Graphical interface for Dog configuration
(News/Latest)

... worse a semantic DogOnt instance in the OWL language. Until now. We are happy to present a new IDE able to graphically design new domotic enviroments, and to instantiate and configure intelligent devices. ...

4. 01LHVIU - Semantic Web: Technologies, Tools, Applications
(Teaching/Master & Ph.D.)

... and DogOnt. Fulvio Corno    ...

5. Thesis / Tesi: Model checking of properties of domotic environments
(Thesis / Tesi/e-lite Thesis offers / Offerte di tesi)

... bugs or design defects) unwanted behaviors (locked-in persons, free access to burglars, incontrollable environment, ...). In previous research, we already developed a semantic model (DogOnt) for describing ...

6. DogOnt - Publications
(Ambient Intelligence/DogOnt)

7. DogOnt - Downloads
(Ambient Intelligence/DogOnt)

This section groups DogOnt -related downloads Stable version (v1.0.6) DogOnt [.owl] Sample Instantiation Effects Ontology Effects Instantiation Latest version (v1.0.7) ...

8. DogOnt
(Category)

DogOnt is a novel modeling language for IDEs (Intelligent Domotic Environment), based on Semantic Web technologies. By adopting well known representations such as ontologies and by providing suitable reasoning ...