1722 search results - page 113 / 345 » Ontology Formalism Transformation |
123
click to vote
WWW
2011
ACM
14 years 7 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...
70
Voted
NAR
2011
14 years 3 months ago
2011
The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and mod...
87
Voted
FOIS
2006
15 years 2 months ago
2006
The term `behavior' is used ubiquitously in engineering. It refers roughly to the way technical artifacts `behave' in a given or hypothetical situation, and plays a pivot...
116
Voted
KES
2006
Springer
15 years 21 days ago
2006
Springer
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
104
click to vote
ENTCS
2006
15 years 23 days ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...