367 search results - page 22 / 74 » Hybrid Logics and Ontology Languages |
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
COLING
2010
13 years 3 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
ER
2007
Springer
14 years 2 months ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
WWW
2011
ACM
13 years 3 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...