3793 search results - page 182 / 759 » Expressive Description Logics |
132
click to vote
FINTAL
2006
15 years 8 months ago
2006
The tool extract enables the automatic extraction of lemma-paradigm pairs from raw text data. The tool uses search patterns that consist of regular expressions and propositional lo...
133
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
139
click to vote
SWAP
2007
15 years 5 months ago
2007
In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building Semantic Web Pipes, aggregating ...
175
click to vote
ECEASST
2008
15 years 4 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
151
Voted
IJMMS
2007
15 years 4 months ago
2007
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how th...