266 search results - page 5 / 54 » Identifying Objects Over Time with Description Logics |
139
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
143
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
125
click to vote
ACL
2000
15 years 5 months ago
2000
Dominance constraints are logical descriptions of trees that are widely used in computational linguistics. Their general satisfiability problem is known to be NP-complete. Here we...
134
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
156
click to vote
ISKI
1994
15 years 8 months ago
1994
There is a manifold of meanings we could associate with the term \evolution" in the database arena. This paper tries to categorize some of these into a unique framework, showi...