Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleOctober 2018
Modeling Industrial Business Processes for Querying and Retrieving Using OWL+SWRL
On the Move to Meaningful Internet Systems. OTM 2018 ConferencesPages 516–536https://doi.org/10.1007/978-3-030-02671-4_31AbstractProcess modeling forms a core activity in many organizations in which different entities and stakeholders interact for smooth operation and management of enterprises. There have been few work on semantically labeling business processes using OWL-...
- articleJanuary 2017
Decision trees in automatic ontology matching
International Journal of Metadata, Semantics and Ontologies (IJMSO), Volume 11, Issue 3Pages 180–190https://doi.org/10.1504/IJMSO.2016.081585The semantic web progress gave rise to a growing number of ontologies in various fields. In order to allow knowledge reuse, ontology matching is an interesting option. In this paper, we propose an ontology matching system that performs class, property ...
- research-articleJanuary 2016
Semantic model for legal resources: Annotation and reasoning over normative provisions
- Enrico Francesconi,
- Pompeu Casanovas,
- Monica Palmirani,
- Silvio Peroni,
- Tom van Engers,
- Fabio Vitali,
- Pompeu Casanovas,
- Monica Palmirani,
- Silvio Peroni,
- Tom van Engers,
- Fabio Vitali
A Semantic Web approach for an advanced access to legislative documents is presented in terms of a model of normative provisions and related axioms. In particular, relations between provisions are identified and modeled by introducing patterns able to ...
- articleOctober 2014
Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model
International Journal of Knowledge and Systems Science (IJKSS-IGI), Volume 5, Issue 4Pages 52–76https://doi.org/10.4018/ijkss.2014100104Software Product Line SPL provides the facility to systematically reuse of software improving the efficiency of software development regarding time, cost and quality. The main idea of SPL is to identify the common core functionality that can be ...
- ArticleOctober 2012
OWL-DL domain-models as abstract workflows
ISoLA'12: Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part IIPages 56–66https://doi.org/10.1007/978-3-642-34032-1_6Workflows are an increasingly common way of representing and sharing complex in silico analytical methodologies. Workflow authoring systems such as Taverna and Galaxy precisely capture the services and service connections created by domain experts, and ...
- research-articleJanuary 2012
A knowledge-based formalization of UBL processes using hybrid programs
COMPUTE '12: Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologiesArticle No.: 13, Pages 1–8https://doi.org/10.1145/2459118.2459131In business process management, it has become necessary to semantically annotate business processes with ontology for better service provisioning, integration and composition. The OASIS has introduced Universal Business Languages (UBL) as a common ...
- ArticleAugust 2011
Axioms on a semantic model for legislation for accessing and reasoning over normative provisions
AICOL'11: Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agentsPages 147–161https://doi.org/10.1007/978-3-642-35731-2_10In this paper an approach to the Semantic Web in the legal domain is presented: it is obtained by modelling legislative document semantic profiles using a model of normative provisions. An implementation of this approach through RDF/OWL, describing ...
- articleAugust 2011
Combining Linked Data and knowledge engineering best practices to design a lightweight role ontology
Applied Ontology (APPONT), Volume 6, Issue 3Pages 223–246Defining roles of agents (i.e., people, organisations, etc.) is required in various Semantic Web applications, including access control, knowledge management and skill repository. So far, many theoretical discussions have taken place on the nature of ...
- research-articleJune 2011
Modelling semantic profiles in legislative documents for enhanced norm accessibility
ICAIL '11: Proceedings of the 13th International Conference on Artificial Intelligence and LawPages 111–115https://doi.org/10.1145/2018358.2018374In this paper an approach to the Semantic Web in the legal domain is discussed: it is obtained by modelling legislative document semantic profiles using a model of normative provisions. An implementation of this approach through RDF/OWL able to describe ...
- ArticleOctober 2010
Towards large scale modeling and realization of SNOMED CT in OWL-DL
CBMS '10: Proceedings of the 2010 IEEE 23rd International Symposium on Computer-Based Medical SystemsPages 401–407https://doi.org/10.1109/CBMS.2010.6042678SNOMED CT is a comprehensive medical terminology used for standardizing storage, retrieval and exchange of electronic health data. Towards more expressive knowledge representation, recent efforts have attempted to model SNOMED CT using OWL, but have ...
- articleJuly 2009
SPARQL graph pattern rewriting for OWL-DL inference queries
Knowledge and Information Systems (KAIS), Volume 20, Issue 2Pages 243–262https://doi.org/10.1007/s10115-008-0169-8This paper focuses on the issue of OWL-DL ontology queries implemented in SPARQL. Currently, ontology repositories construct inference ontology models, and match SPARQL queries to the models, to derive inference results. Because an inference model uses ...
- ArticleJune 2009
Talking rabbit: a user evaluation of sentence production
Rabbit is a controlled natural language (CNL) designed to aid experts in understanding and authoring domain ontologies. There are three broad types of Rabbit sentence: declarations, axioms and import statements. This paper evaluates the ease with which ...
- ArticleDecember 2008
A Testing Framework for OWL-DL Reasoning
SKG '08: Proceedings of the 2008 Fourth International Conference on Semantics, Knowledge and GridPages 42–48https://doi.org/10.1109/SKG.2008.14OWL and RDF/RDFS are ontological languages developed by the World Wide Web Consortium (W3C), which have become a de facto standard for the ontological descriptions in various domains. The evolution of these standards was influenced by the numerous ...
- ArticleOctober 2007
Rule definition for managing ontology development
RuleML'07: Proceedings of the 2007 international conference on Advances in rule interchange and applicationsPages 174–181This paper presents an approach to ontology development through the application of declarative logic programming. Our method employs rules for the purpose of prototyping new ontology versions by decoupling the process of concept definition from the ...
- ArticleMay 2007
OWL-DL Based Ontology Inference Engine Assessment for Context-Aware Services
KES-AMSTA '07: Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and ApplicationsPages 338–347https://doi.org/10.1007/978-3-540-72830-6_35To acquire hidden and potentially useful information from context data, ubiquitous computing services began taking advantage of the reasoning capabilities inherent in inference engines. However, since a traditional approach to evaluating inference ...