62 search results - page 1 / 13 » Consistent Hybrid Knowledge Representation in Order-Sorted L... |
IJIT
2004
13 years 6 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
ICLP
1999
Springer
13 years 9 months ago
1999
Springer
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...
AI
2011
Springer
12 years 12 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
KBS
2011
12 years 11 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
ISIPTA
2005
IEEE
13 years 10 months ago
2005
IEEE
Possibilistic networks and possibilistic logic bases are important tools to deal with uncertain pieces of information. Both of them offer a compact representation of possibility ...