1722 search results - page 60 / 345 » Ontology Formalism Transformation |
100
Voted
AIME
2005
Springer
15 years 6 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
101
click to vote
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
ESWS
2005
Springer
15 years 6 months ago
2005
Springer
RDF uses the RFC3066 standard for language tags for literals in natural languages. The revision RFC3066bis includes productive use of language, country and script codes. These form...
145
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...