1663 search results - page 12 / 333 » Description Logics for Interoperability |
UML
2005
Springer
15 years 7 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
85
Voted
TABLEAUX
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
133
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
120
Voted
IJCAI
2003
15 years 3 months ago
2003
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar chy of decidable logics with multiple maximal el ements. It would be desirable to ...