3244 search results - page 164 / 649 » Extensions to Description Logics |
147
click to vote
JAR
2007
15 years 6 months ago
2007
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
208
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A review of XML-compliant user interface description languages is produced that compares a significant selection of various languages addressing different goals, such a...
170
click to vote
MM
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, we propose a method for exciting event detection in broadcast soccer video with mid-level description and SVM-based incremental learning. In the method, video frame...
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...
140
click to vote
ICALT
2006
IEEE
16 years 13 days ago
2006
IEEE
Competence-based approaches in the field of formal or non-formal education and training are becoming more common and appear to offer the opportunity to develop programmes that mee...