1435 search results - page 164 / 287 » Description Logics |
153
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present a method for semantic annotation of texts, which is based on a deep linguistic analysis (DLA) and Inductive Logic Programming (ILP). The combination of DLA...
136
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
128
click to vote
EUSFLAT
2001
15 years 5 months ago
2001
In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of ru...
125
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
136
click to vote
LOGCOM
2007
15 years 3 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...