Copyright Issues for MKM
نویسندگان
چکیده
We present an overview of the current situation and recent and expected future developments in areas of copyright law and economics relevant to Mathematical Knowledge Management.
منابع مشابه
Towards an Interaction-based Integration of MKM Services into End-User Applications
The Semantic Alliance (SAlly) Framework, first presented at MKM 2012, allows integration of Mathematical Knowledge Management services into typical applications and end-user workflows. From an architecture allowing invasion of spreadsheet programs, it grew into a middle-ware connecting spreadsheet, CAD, text and image processing environments with MKM services. The architecture presented in the ...
متن کاملLarge Formal Wikis: Issues and Solutions
The Mizar Mathematical Library (MML) is a large corpus of formalised mathematical knowledge. It has been constructed over the course of many years by a large number of authors and maintainers. Yet the legal status of these efforts of the Mizar community has never been clarified. In 2010, after many years of loose deliberations, the community decided to investigate the issue of licensing the con...
متن کاملA Mathematical Approach to Ontology Authoring and Documentation
The semantic web ontology languages RDFS and OWL are widely used but limited in both their expressivity and their support for modularity and integrated documentation. Expressivity, modularity, and documentation of formal knowledge have always been important issues in the MKM community. Therefore, we try to improve these ontology languages by well-tried MKM techniques. Concretely, we propose emb...
متن کاملCost-Effective Integration of MKM Semantic Services into Editing Environments
Integration of MKM services into editors has been of big interest in both formal as well as informal areas of MKM. Until now, most of the efforts to integrate MKM services into editing environments are done on an individual basis which results in high creation and mainte-
متن کاملAnesthetic and cardiopulmonary effects of total intravenous anesthesia using a midazolam, ketamine and medetomidine drug combination in horses.
The anesthetic and cardiopulmonary effects of midazolam, ketamine and medetomidine for total intravenous anesthesia (MKM-TIVA) were evaluated in 14 horses. Horses were administered medetomidine 5 microg/kg intravenously as pre-anesthetic medication and anesthetized with an intravenous injection of ketamine 2.5 mg/kg and midazolam 0.04 mg/kg followed by the infusion of MKM-drug combination (mida...
متن کامل