9145 search results - page 31 / 1829 » Description Logic Systems |
RML
2002
15 years 3 days ago
2002
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
107
click to vote
SIGPLAN
2002
15 years 3 days ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
146
Voted
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
105
Voted
JAPLL
2006
15 years 13 days ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
113
click to vote
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...