342 search results - page 17 / 69 » Tableau Algorithms for Description Logics |
ML
2010
ACM
13 years 3 months ago
2010
ACM
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...
AAAI
2010
13 years 10 months ago
2010
Many machine learning applications that involve relational databases incorporate first-order logic and probability. Markov Logic Networks (MLNs) are a prominent statistical relati...
ICFCA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...
JAR
2007
13 years 8 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
LPAR
1999
Springer
14 years 27 days ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...