272 search results - page 47 / 55 » Paraconsistent Reasoning for Expressive and Tractable Descri... |
108
Voted
LACL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...
107
Voted
ECBS
2008
IEEE
15 years 2 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
98
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
132
Voted
AI
2010
Springer
15 years 17 days ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
104
Voted
AAAI
2006
15 years 1 months ago
2006
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...