245 search results - page 6 / 49 » Class Algebra as a Description Logic |
117
Voted
FUIN
2008
15 years 14 days ago
2008
Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specificall...
123
click to vote
DEON
2010
Springer
15 years 18 days ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
73
Voted
CSL
2000
Springer
15 years 4 months ago
2000
Springer
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...
119
Voted
AIML
2006
15 years 1 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
110
Voted
ICCS
2005
Springer
15 years 6 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...