3706 search results - page 59 / 742 » OntoComP System Description |
160
Voted
JSS
2010
14 years 11 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
153
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
141
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
131
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper describes two approaches to the automatic generation of behavioral VHDL models from descriptions written in natural language. Both approaches are based on a modeling st...
163
click to vote
RWEB
2010
Springer
15 years 2 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...